From: Matthieu M. <Mat...@gr...> - 2014-05-16 21:04:41
|
Arnout Engelen <no...@bz...> writes: > I think this should now be fixed on git master HEAD, can you verify it indeed > works for you, too? It seems to be fixed, indeed. Thanks a lot! -- Matthieu Moy http://www-verimag.imag.fr/~moy/ |