Skip to content
Snippets Groups Projects

Merge branch '16-license-headers' into 'devel'

Failed
Joan Vallvé Navarro created pipeline for commit 9f0dcb7b
, finished
2 related merge requests: !20 new tag, !19 new tag
3 jobs 21 seconds, queued for 8 seconds