Skip to content
Snippets Groups Projects

Merge branch 'develop' into 'master'

Passed
Laurent Heirendt created pipeline for commit 0851c10e
, finished
For v2.5.3
1 job 37 seconds, queued for 0 seconds