On Thu, 2008-08-28 at 11:10 +0200, Vincent Bernat wrote: > Hi! > > Here is a patch to fix this issue.
Hi Vincent, Thanks for the patch. I've incorporated it and uploaded here: - URL: http://mentors.debian.net/debian/pool/main/p/plait - Source repository: deb-src http://mentors.debian.net/debian unstable main contrib non-free - dget http://mentors.debian.net/debian/pool/main/p/plait/plait_1.5.2-2.dsc Please tell me if I am breaching etiquette/protocol in any way. Regards, David. -- David Symons Solutions Analyst (Applications) Information Technology Directorate The University of New England Armidale NSW 2351 Phone: 02 6773 2578 Fax: 02 6773 3424 Mobile: 0428 854 784 -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
