Merge branch 'fix_multiple-small-fixes' into 'dev'
Passed
Olivier BICHLER
created pipeline for commit
b39f112b
, finished
1 related merge request: !118 v0.4.0
59 minutes 7 seconds, queued for 2,311 seconds