Skip to content
Snippets Groups Projects

Merge branch 'no_singleton' into 'develop'

Passed
Johannes Leins created pipeline for commit c37f8654
, finished
For v1.3
latest
3 jobs 26 seconds, queued for 0 seconds