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

[Joel Brobecker]

Hello,

FYI, now that I have the 8.0 release tarballs and that the 8.0 release
tag has been pushed, I'm about to push the following commit on the
8.0 branch:

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

Thanks,
-- 
Joel