Yes, the changes files were being opened twice, and the second time it
On Tue, Mar 13, 2018 at 11:11 PM, Cyril Ferlicot D. <
> Le 13/01/2018 à 18:03, Ben Coman a écrit :
> > Great! That was quick work (thanks Pavel.)
> > Do you have an issue for me to follow, or should I create it?
> > cheers -ben
> It seems that the problem was corrected today (probably the change in
> File usage).
> Can someone else confirm?
> Cyril Ferlicot
Centre de Recherche en Informatique, Signal et Automatique de Lille
CRIStAL - UMR 9189
French National Center for Scientific Research - *http://www.cnrs.fr
*Web:* *http://guillep.github.io* <http://guillep.github.io>
*Phone: *+33 06 52 70 66 13