Commit 6d644878 authored by Thomas Löffler's avatar Thomas Löffler
Browse files

Merge branch 'develop' into 'master'

Release 19-05-20

See merge request !196
parents 89fd74a7 ccb63d8a
Pipeline #8938 passed with stages
in 5 minutes and 25 seconds