Dear Simon, Thank you very much for following and for detailed description of problem - we will fix it for sure in next upload.
Sorry for troubles, I should feel ashamed for missing it. Regards, Dmitry. -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org