Skip to content
Snippets Groups Projects

Merge branch 'hotline' into 'master'

Passed
Patrick Barroca created pipeline for commit 7bcc5e7c
, finished
1 related merge request: !3297 WIP: Master
6 jobs 38 minutes 41 seconds, queued for 2 seconds