Merge branch 'ImproveVec' into 'master'
Failed
Christoph Alt
created pipeline for commit
8bd3cef5
, finished
For master
17 minutes 54 seconds, queued for 3 seconds