Skip to content
Snippets Groups Projects

Merge branch 'devel' into...

Passed
David Dorchies created pipeline for commit 839e2dc8
, finished
4 jobs 22 minutes 43 seconds, queued for 8 seconds