> > Is this correct? Should it not now be 6.4.something?
> Yes, it should be. There's a sentence about this in the Releasing GDB
> manual, but it's a bit confusing, so I'm not surprised it gets
> overlooked from time to time...
> I have committed the obvious change to bump HEAD to 6.4.50.
OK. I was waiting for somebody to confirm. I had actually spotted
this inconsistency in the manual, but wasn't sure, thinking that
Anyway, I'll take care of updating the procedure in the manual.