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? :)
>