GDB 5.0.1?

[Andrew Cagney]

Hello,

So is an incremental release worth it?  Personally, I've no problems
with just re-spinning the head of the 5.0 branch and calling it 5.0.1
(with the NEWS file tweeked).

Beyond that, I've reservations, I'd rather see people putting more
effort into the trunk and the next major release.

Opinions?  Give it 2-4 more weeks and then just re-spin what ever is on
the head and then close the branch?

	Andrew