Skip to content
Snippets Groups Projects

Merge remote-tracking branch 'origin/HEAD' into devel

Passed
Joan Vallvé Navarro created pipeline for commit bda3314a
, finished
For devel
9 jobs 8 minutes 9 seconds, queued for 2 seconds