Merge branch 'debian/sid' into 'debian/sid'

use double dashes on parameters since 0.11

See merge request !2
1 job for debian/sid in 7 minutes and 22 seconds (queued for 1 second)
latest
Status Job ID Name Coverage
  Test
passed #250330
test_the_archive

00:07:22