Merge branch 'debian/master' into 'debian/master'

debhelper12,standards4.3.0,gitlab-ci

See merge request !7
5 jobs for debian/master in 5 minutes and 20 seconds (queued for 2 seconds)
latest
Status Job ID Name Coverage
  Build
passed #104698
build

00:02:32

 
  Test
passed #104701
autopkgtest

00:02:47

passed #104700
lintian

00:01:46

passed #104702
piuparts

00:02:22

passed #104699
reprotest

00:02:36