On Sun, May 12, 2019 at 04:30:01PM +0200, Andreas Beckmann wrote: > Please do a dummy 2.10-2 upload to fix this ...
I am in fact considering a not-so-dummy upload with minor changes, because after all this is a package to be copied and pasted, but I'll have to ask for permission to release.debian.org, not every update is 100% safe. See Bug #928889 for an example :-) Thanks.

