Skip to content
Snippets Groups Projects

Merge branch 'sve' into 'master'

Passed
Markus Holzer created pipeline for commit b1522533
, finished
For master
11 jobs 22 minutes 59 seconds, queued for 4 seconds