Re: branching isn't working

[Graham Percival]

On Thu, Apr 28, 2011 at 02:45:07PM +0100, Graham Percival wrote:
> We can't just change VERSION in git master, because that's used to
> generate the website,

oh wait, I just remembered that we have a separate MINOR_VERSION
from VERSION_DEVEL.  ha, a badly designed almost-duplicate of
information might be useful after all!

ok, this is no longer a valid reason for dumping the branching
idea -- master could have a VERSION (from MAJOR_ MINOR_
PATCH_LEVEL) of 2.15.0, but a VERSION_DEVEL of 2.13.60 or .61.

That said, I still believe that:
> This doesn't seem to be working.

Cheers,
- Graham