Le 31/10/2017 à 15:40, olivier sallou a écrit :

> any idea of what is wrong?

I've seen this error too with another package and I had to disable the
tests. No idea what is causing this.

Emmanuel Bourg

Reply via email to