Skip to content
Snippets Groups Projects

Merge branch 'master' into 'devel'

Passed
David Dorchies created pipeline for commit c0359f42
, finished
For devel
7 jobs 34 minutes 45 seconds, queued for 3 seconds