Skip to content

Revert erroneous commit 33fb44d3

schnusch requested to merge clean-up-branch-labyrinth into main

Remove remnants of 33fb44d introduced in !2 (merged).

Merge request reports