On Mon, 9 Sep 2013, Victor Eijkhout wrote: > How do I authenticate? I have a bitbucket account VictorEijkhout, but you guys probably didn't give that one write access. > > FWIW, just want to correct an occasional typo. push is to git repo [I can enable access] - or you can send us the patches [with 'hg diff'] Satish