time to create the gdb-7.0.1 release (?)

[Joel Brobecker]

> >Anything else that should go in that (corrective) release?
> 
> Well, we have process record save/restore, bookmarks, floating point
> support (387), and hardware watchpoint support.  Those will all go in,
> right?

I suspect a confusion between 7.0.1, which is a minor corrective release
over 7.0 (release made off the same branch), and 7.1, which is the next
"major" release, with new features etc.

-- 
Joel