Skip to content
Snippets Groups Projects

Merge branch 'patch-holzer-CI' into 'master'

Passed
Michael Kuron created pipeline for commit a1076133
, finished
For master
10 jobs 9 minutes 52 seconds, queued for 3 seconds