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


Web: http://guillep.github.io

Phone: +33 06 52 70 66 13