Set GDB version number to 8.0.

gdb/ChangeLog:

	* version.in: Set GDB version number to 8.0.
	* PROBLEMS: Likewise.

gdb/ChangeLog

diff --git a/gdb/ChangeLog b/gdb/ChangeLog
index 71ce5f5..a1cb192 100644
--- a/gdb/ChangeLog
+++ b/gdb/ChangeLog
@@ -1,3 +1,8 @@
+2017-06-04  Joel Brobecker  <brobecker@adacore.com>
+
+	* version.in: Set GDB version number to 8.0.
+	* PROBLEMS: Likewise.
+
 2017-05-30  Simon Marchi  <simon.marchi@ericsson.com>
 
 	* NEWS (Changes in GDB 8.0): Remove extra empty line.  Move

gdb/PROBLEMS

diff --git a/gdb/PROBLEMS b/gdb/PROBLEMS
index d11a78d..235d058 100644
--- a/gdb/PROBLEMS
+++ b/gdb/PROBLEMS
@@ -1,5 +1,5 @@
 
-			Known problems in GDB 7.99.91.DATE-git
+			Known problems in GDB 8.0
 
 		See also: http://www.gnu.org/software/gdb/bugs/
 

gdb/version.in

diff --git a/gdb/version.in b/gdb/version.in
index ffed289..cc40bca 100644
--- a/gdb/version.in
+++ b/gdb/version.in
@@ -1 +1 @@
-7.99.91.DATE-git
+8.0