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

Joel Brobecker
2016-08-01T15:29:38Z

Hello,

FYI, I am about to push the following commits to the new
gdb-7.12-branch.

[release/branch 1/2] Bump version to 7.11.90.DATE-git.
[release/branch 2/2] Set development mode to "off" by default.

Cheers,
--
Joel