Merge branch 'flipoperator' into 'master'
Passed
Oscar Gustafsson
created pipeline for commit
14d9a63d
, finished
For master
3 minutes 59 seconds, queued for 13 seconds