FYI/BRANCH: Patches applied to branch gdb-7.12-branch

Joel Brobecker
2016-10-07T17:28:18Z

Hello,

Just FYI, now that I have the release tarballs, I am about to push the
following two commits to our gdb-7.12-branch.

[release/branch 1/2] Document the GDB 7.12 release in gdb/ChangeLog
[release/branch 2/2] Bump GDB version number to 7.12.0.DATE-git.

Thanks,
--
Joel