Commit 41c2b43c authored by Thomas Löffler's avatar Thomas Löffler
Browse files

Merge branch 'develop' into 'master'

Christmas Release 19-12-19

See merge request !191
parents 3f54defc bb3e080a
Pipeline #8241 passed with stages
in 5 minutes and 10 seconds