Merge: github_merge tool
[nit.git] / VERSION
1 v0.6.5