Bump GDB version number to 7.12.1.DATE-git.

gdb/ChangeLog:

	* version.in: Set GDB version number to 7.12.1.DATE-git.
	* PROBLEMS: Likewise.

diff --git a/gdb/ChangeLog b/gdb/ChangeLog
index 1faf7c272ccdd0a0684baa20bca490f28c5de00a..4ae9f22fee56836fefc8388e0fe24fd3418f0dcb 100644 (file)
--- a/gdb/ChangeLog
+++ b/gdb/ChangeLog
@@ -1,3 +1,8 @@
+2017-01-21  Joel Brobecker  <brobecker@adacore.com>
+
+       * version.in: Set GDB version number to 7.12.1.DATE-git.
+       * PROBLEMS: Likewise.
+
 2017-01-21  Joel Brobecker  <brobecker@adacore.com>
 
        GDB 7.12.1 released.

diff --git a/gdb/PROBLEMS b/gdb/PROBLEMS
index d527c80b8a136c6bb8a765d1f0bb71df31096981..e14d6151d0c833dd4cf6ae73f2add6183b9c4997 100644 (file)
--- a/gdb/PROBLEMS
+++ b/gdb/PROBLEMS
@@ -1,5 +1,5 @@
 
-                       Known problems in GDB 7.12.1
+                       Known problems in GDB 7.12.1.DATE-git
 
                See also: http://www.gnu.org/software/gdb/bugs/
 

diff --git a/gdb/version.in b/gdb/version.in
index 3869adc9103ac64e8b751451b6528ec9140408d4..c4bc634d5502d7f8fcef0d63707f1ce8aad0d348 100644 (file)
--- a/gdb/version.in
+++ b/gdb/version.in
@@ -1 +1 @@
-7.12.1
+7.12.1.DATE-git