Yes, the changes files were being opened twice, and the second time it failed :).
On Tue, Mar 13, 2018 at 11:11 PM, Cyril Ferlicot D. < [email protected]> wrote: > 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 > https://ferlicot.fr > > -- Guille Polito Research Engineer Centre de Recherche en Informatique, Signal et Automatique de Lille CRIStAL - UMR 9189 French National Center for Scientific Research - *http://www.cnrs.fr <http://www.cnrs.fr>* *Web:* *http://guillep.github.io* <http://guillep.github.io> *Phone: *+33 06 52 70 66 13
