Merge: GitHub merge: some improvements
[nit.git] / VERSION
1 v0.7.1