GDB 7.12 release - 2016-09-21 update?

[Joel Brobecker]

> >  https://sourceware.org/ml/gdb-patches/2016-10/msg00113.html
> >  https://sourceware.org/ml/gdb-patches/2016-10/msg00114.html
> > 
> > This is the only PR left with target-milestone==7.12.
> 
> ... and ... now closed.

Good! So, let's hope that was the last one for 7.12.

> The buildbots are still catching up on the latest commits, but
> so far so good.  Actually, there's a --disable-build-with-cxx
> build problem on the 7.12 branch right now.  We should fix that
> before we release.

Let me know when done, and I will produce the release.

Thanks, all!
-- 
Joel