Dec. 2, 2012
7:58 p.m.
On Sat, Dec 1, 2012 at 6:24 PM, Stéphane Ducasse <stephane.ducasse@inria.fr>wrote:
Sebastian
I can tell you that what you did is **useful** because we are all working like mad and such kind of help is really welcome.
+9999
Stef
On Dec 1, 2012, at 3:24 PM, Sebastian Nozzi wrote:
It's the #7076.
2012/11/29 Camillo Bruni <camillobruni@gmail.com>:
perfect! can you open a bug report with this information? :)
-- Mariano http://marianopeck.wordpress.com