On 2008-11-18 15:03:25 +0200, Eugene V. Lyubimkin wrote: > Vincent Lefevre wrote: > > In fact, I'm not sure that it occurred a few months ago. Perhaps I got > > confused with bug 402400, which is similar. This one still occurs. > Now or some months ago?
Bug 402400 still occurs (now): see my last message in this bug report. -- Vincent Lefèvre <[EMAIL PROTECTED]> - Web: <http://www.vinc17.org/> 100% accessible validated (X)HTML - Blog: <http://www.vinc17.org/blog/> Work: CR INRIA - computer arithmetic / Arenaire project (LIP, ENS-Lyon) -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
