Merge branch 'device_selection' into 'master'
Failed
Markus Holzer
created pipeline for commit
f438ddd7
, finished
For master
39 minutes 0 seconds, queued for 577 seconds