Skip to content

Revert "Merge branch 'ci_hotfix' into 'devel'"

Matthias Wittgen requested to merge revert-36884504 into devel

This reverts merge request !812 (merged)

Merge request reports