Will do.
On Jan 18, 10:17 am, Praneeth <[email protected]> wrote: > Hello Massimo, > > It would be great if you could tag a release while committing to github. > It will enable us to fetch the latest stable release from github easily > - Instead of looking at the VERSION file and backtracking the commit no > to checkout to. > > Thanks, > Praneeth

