Commit 9375f88f authored by Carsten  Rose's avatar Carsten Rose

Merge branch 'master' into 'develop'

Master

See merge request !281
parents 8f9bd35d ef98e435
Pipeline #3764 passed with stages
in 4 minutes and 1 second