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