Merge branch 'pu/devuan-releases' into 'master'

provide support for Devuan release names

See merge request !34
7 jobs for master in 7 minutes and 28 seconds (queued for 2 seconds)
Status Job ID Name Coverage
  Build
passed #261422
build

00:03:25

 
  Test
passed #261427
blhc

00:01:25

passed #261426
lintian

00:01:40

passed #261428
piuparts

00:03:37

passed #261425
reprotest

00:02:32

passed #261424
test-build-all

00:03:05

passed #261423
test-build-any

00:02:28