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. < cyril.ferlicot@gmail.com> 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