[Gc] RE: GC version numbering

[Petter Urkedal]

On 2012-05-22, Boehm, Hans wrote:
> I'm also fine with Andy's proposal.  In fact I was envisioning something like this in the slightly longer term.  The question is whether we should switch from 7.2 to 8.0.0 for a small bug fix.  My initial assumption was "no", but it may be worth it just to allow us to change version numbering cleanly.  I don't have a strong preference either way.

Is it necessary to jump to 8.0.0?  I don't think it's that uncommon to
drop a 0-suffix from version numbers, so it would be as if the
patchlevel for previous stable releases were all 0 (7.0 < 7.1 < 7.2 <
7.2.1).