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

Joel Brobecker
2017-01-21T14:06:22Z

Hello,

Just FYI, I'm about to push the following two commits which follow
the commits that I needed to make for the 7.12.1 release being
prepared.

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

Thank you,
--
Joel