Skip to content
Snippets Groups Projects

Merge branch 'hotline' into 'master'

Passed
Ghislain Loas created pipeline for commit 576a4947
, finished
1 related merge request: !4230 master in
1 job 25 minutes 2 seconds, queued for 2 seconds