Hi Guix,

I can no longer reproduce this bug (I'm now on commit 5c3d77c).  I
believe it was fixed with commit cfd0fd9.

Regards,

Diego



Reply via email to