Up till now the work-in-progress CVS version of gretl has retained the number of the previous release (so, for example, during the long period in which 1.9.12 was the latest release, the CVS version was 1.9.12cvs). We've now decided it makes more sense to bump the number up right after release. So there will be no 1.9.13cvs, we're skipping to 1.9.14cvs; this is what will eventually become 1.9.14. However, as I promised Ignacio we're now going to look into updating from CVS to git, so there may be some further changes before long. We'll keep you informed (and put up a git "cheat sheet" when we make the move). Allin