On Thu, 2008-08-28 at 11:10 +0200, Vincent Bernat wrote: > Hi! > > Here is a patch to fix this issue.
Thanks Vincent, I've incorporated the patch into this upload: - 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 let me know if there are any issues with it. Regards, David. -- David Symons Armidale NSW Australia http://www.liberatedcomputing.net
signature.asc
Description: This is a digitally signed message part