Bug#460714: Fixed in cvs upstream

[Leon Bottou]

Bug has been fixed in upstream CVS.
- L.



-- 
To UNSUBSCRIBE, email to [EMAIL PROTECTED]
with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]