Skip to content
GitLab

Fix two scripts due to bugfix in mode-checking

Merged Ghost User requested to merge (removed):fix-for-stuck-classes into master

The previous versions work because of unifications that should not be allowed according to the modes