Merge branch 'github-5408' into 'debian/sid'

debian/patches: drop 10-Close-Querier.patch

See merge request !3
1 job for debian/sid in 8 minutes and 11 seconds
latest
Status Job ID Name Coverage
  Test
passed #180704
test_the_archive

00:08:11