Merge branch 'random-vectorization' into 'master'
Passed
Markus Holzer
created pipeline for commit
91a79942
, finished
For master
19 minutes 59 seconds, queued for 4 seconds