passed Pipeline #78859 triggered by
Mirko Janssen
@m.janssen

Merge branch 'develop' into 'master'

Update master

See merge request !1
1 job for master
in 3 seconds and was queued for 10 seconds
latest