Hi Christoph, Would you mind if I NMUed with this patch? The patch is is really non-invasive. I can also do the similar change for patch as well.
Riku -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org