Control: forcemerge 674112 675864 Hi,
On 2013-06-15 23:09:02 +0200, Nicolas Schodet wrote: > this bug is the same as #674112 which is fixed upstream. Yes, merging. -- Vincent Lefèvre <[email protected]> - Web: <http://www.vinc17.net/> 100% accessible validated (X)HTML - Blog: <http://www.vinc17.net/blog/> Work: CR INRIA - computer arithmetic / AriC project (LIP, ENS-Lyon) -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]
