Commit 757e77dd authored by Georg Teufelberger's avatar Georg Teufelberger

Merge branch 'dev' into 'master'

Merge features from dev to master

See merge request !9
parents 1f019f7a 741f4fde
Pipeline #86906 passed with stages
in 4 minutes and 24 seconds