Skip to content
Snippets Groups Projects

Merge branch 'devel' into 'master'

Passed
David Dorchies created pipeline for commit d1d378f4
, finished
1 related merge request: !254 Master v4.18.0
5 jobs 48 minutes 25 seconds, queued for 3 seconds