Skip to content
GitLab

Merge 3744

Open Simon Barner requested to merge 3744 into master

Try to fix pipeline for this branch (does not work in original MR !50 (closed)).

TODO: Check whether to merge this one or !51 (closed).