Commit d03ed522 authored by Thomas Löffler's avatar Thomas Löffler

Merge branch 'develop' into 'master'

Release 06-08-19

See merge request !172
parents 8630693a eb752df6
Pipeline #7419 passed with stages
in 5 minutes and 26 seconds