Skip to content
Snippets Groups Projects

Merge branch 'Doc' into 'master'

Passed
Michael Kuron created pipeline for commit a6e35ca6
, finished
For master
10 jobs 18 minutes 29 seconds, queued for 132 seconds