Hello, hoping that this could land after lingering for about 5 years I've pushed the relevant patch to alioth git in a branch called pull-request1. The branch is based off the tip of the current master. Thank you for your kind consideration.
Regards Rolf -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
