On Sat, Sep 8, 2012 at 12:34 PM, Benjamin R. Haskell <zsh@xxxxxxxxxx> wrote: > > Is the git repo the official source now? I thought that was another 5.0.0 > goal/plan. I believe the git repo is still mirroring CVS. At least, I have not heard otherwise.