Commit ce3ee419 authored by Michael Pöhn's avatar Michael Pöhn

Revert "Merge branch 'master' into 'master'"

This reverts merge request !17
parent df93bcd3
Pipeline #30801751 passed with stage
in 2 minutes and 34 seconds