Skip to content
Snippets Groups Projects

Merge branch 'devel' into 'master'

Failed
Olivier Stasse created pipeline for commit 4e540b87
, finished
For master
branch
3 jobs 4 seconds, queued for 0 seconds