That way, you get one version number in-between which is frozen in time, whereas a checked-out version that claims to be .11 can be anything from January(?) 2004 to August, and .13 could be anything from August 2004 to, say, March 2006, or whenever we bumb versions the next time. .12 will be from 18:35:11, August 5, 2004 UTC (or similar). Which is often a good thing.
/ Johan Sundström (Achtung Liebe!)
Previous text:
2004-08-05 12:25: Subject: pike 7.6 bump version ?
Why skip a version?
/ Marcus Agehall (nu med semester)