Skip to content
Snippets Groups Projects

Merge branch 'ref_bot_Rec2531' into 'master'

Passed
Christoph Hasse created pipeline for commit 0f25831f
, finished
For master
2 jobs 16 seconds, queued for 5 seconds