githubmerge: make public name/email access of users more robust.
[nit.git] / VERSION
1 v0.7.7