Hello Niels, Debian Bug Tracking System [2018-08-04 6:33 +0000]: > The bug was not closed during the upload (I presume due to a syntax > mistake in the changelog), so I am using this email to close it.
Whoops, forgot the colon after "Closes". I work with GitHub too much :-) Thanks! Martin