Christoph, thank you for the report and patch. I've only become aware of it now. I've had a look and intend to fix the issue in both experimental and unstable with only a slight difference to what you suggest. I'm busy with family commitments and travel preparation for the next few days but expect to be able to make an upload before year's end.
-- To UNSUBSCRIBE, email to debian-bugs-rc-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
