Skip to content
Snippets Groups Projects

Merge branch 'patch-1' into 'master'

Passed
Peter Lünenschloß created pipeline for commit 979b9ae2
, finished
For bugfix-spikes_basic
2 jobs 8 minutes 8 seconds, queued for 1 seconds