Skip to content
Snippets Groups Projects

Merge branch 'master' into 'devel'

Passed
David Dorchies created pipeline for commit d74e9a8c
, finished
For devel
Scheduled
6 jobs 103 minutes 21 seconds, queued for 10 seconds