Bug#889100: Trying to reproduce #889100

[Christoph Ender]

Hi Peter,

many thanks for looking into this. I've fixed the debian-upstream
version accordingly and I'm hoping the new version will be uploaded soon.


Thanks again,
Christoph.