Set GDB version number to 7.12.1.

gdb/ChangeLog:

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

diff --git a/gdb/ChangeLog b/gdb/ChangeLog
index 1d5ad9cccb662245a058891a7a2868ededf392ab..71c1f91d15a58de417990379af040ba7e7d810fa 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.
+       * PROBLEMS: Likewise.
+
 2017-01-20  Simon Marchi  <simon.marchi@ericsson.com>
 
        PR python/21068

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

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