Merge branch 'master' into add_multi_shot
Passed
Olivier Sauter
created pipeline for commit
acbc3829
, finished
1 related merge request: !153 Add multi shot
5 minutes 28 seconds, queued for 43 seconds