Merge branch 'develop' into 'master'
Warning
created pipeline for commit
e1bbf647
, finished
1 related merge request: !63 apply bugfix to dev branch too
7 minutes 27 seconds, queued for 3 seconds