Christoph Ender Fri, 23 Feb 2018 09:57:21 -0800
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.
