Hi Sandro, Thanks for merging the patch! :-)
Will you upload a new version soon? Just earlier this morning I fought my way through a couple more bugreports that would profit immensely from that feature. -- Best regards, Michael -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org