Skip to content
Snippets Groups Projects

Merge branch 'version_option' into 'develop'

Passed
Bert Palm created pipeline for commit 72fc3910
, finished
For develop
Scheduled
14 jobs 7 minutes 14 seconds, queued for 2 seconds