June 25, 2013
8:59 a.m.
apparently it is broken when I enable FT2 So I removed it and it works. Stef On Jun 25, 2013, at 10:39 AM, Stéphane Ducasse <Stephane.Ducasse@inria.fr> wrote:
Because I cannot merge my fix 10735 to understand the conflicts ;( the merge tools does not show up. I will see how I can recover my work because I spent some hours on it.
Stef