Skip to content
Snippets Groups Projects

Merge branch 'debian' into 'master'

Passed
Jonathan Weth created pipeline for commit 466a3b6a
, finished
For master
2 jobs 6 minutes 38 seconds, queued for 9 seconds