On Tue, Jul 22, 2014 at 08:44:41AM +0100, Richard Sandiford wrote: > So why > not just stick to the current scheme and have 5.0.0, 5.0.1, 5.0.2 etc.?
Yes, why would we use a different numbering scheme now? There is no change in development / release planning, unless I missed something. Is this just to have bigger number than the "competition"? Or is it change for change's sake? Are there no more important things to be done? Segher
