Antonio Radici wrote:
Hi,this bug (with many others) is fixed in git and the 1.5.19-4 version is tagged;the package is pending the final review from Christoph and his upload :-)
Thanks for looking into it and preparing a fixed package. Cheers Luk -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]

