Skip to content
Snippets Groups Projects

Merge branch 'release_1.5.3' into 'develop'

Passed
Rémi Cresson created pipeline for commit c3811cd2
, finished
Related merge request !46 to merge develop
merge request
9 jobs 3 minutes 42 seconds, queued for 2 seconds