GDB 7.12 release - 2016-09-21 update?

[Pedro Alves]

On 10/06/2016 01:12 PM, Pedro Alves wrote:

>  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.

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.

Thanks,
Pedro Alves