Skip to content
Snippets Groups Projects

Merge branch 'patch-4' into 'master'

Warning
Klaus-Dieter Quibeldey-Cirkel created pipeline for commit 7d12cfb9
, finished
For staging
5 jobs 7 minutes 28 seconds, queued for 3 seconds