Commit 6c94d02d authored by Andreas Müller's avatar Andreas Müller

Small changes and fixes.

parent 4f3e3fe4
Pipeline #24 passed with stage
in 40 seconds