Re: Git import issues

[Ludovic Courtès]

OK, the new Git repository is now on-line.  Make sure to `git-clone'
from it and to stop working on old clones.

Thanks,
Ludovic.