Skip to content

rename extension

Philipp S. Sommer requested to merge rename-extension into main

because otherwise cruft is not able to perform the update

partially reverts b5937893

Merge request reports