Updates on GDB 8.3.1 and GDB 9 releases (2019-07-14)

[Joel Brobecker <brobecker@adacore.com>]

Hi Everyone,

It's been a couple months since we released 8.3 already. Our typical
schedule would be to try to create the corrective release ("re-spin")
in about a month from now. Given that...
  - So far, there is only been one fix pushed to the branch since
    the release; and
  - that a month from now is mid-Aug, which is holiday time for many;
... I purpose we don't do anything until end of Aug...

Depending on when we'd like to have GDB 9 come out, we might even
want to skip 8.3.1 entirely? Personally, I don't mind spending the couple
of hours it takes to create a new release, even if it's for a couple
of patches. But perhaps there'll be more by then too.

Now, switching our attention to GDB 9, looking at the GDB/NEWS file,
there isn't anything super major, but the list is a good size already,
so I think we can start the process anytime that makes sense for us.
For instance, what if we started the stabilization process early
September, with a few to branch sometime around early to mid September.

With that plan, we can hopefully have branching by the GNU Cauldron,
and a release within a month of that, which places the release around
early to mid Oct. That's roughly 5 months after the 8.3 release.

Thoughts?
-- 
Joel