commit 59b102452f0bdab7a9b19d9fdbb8ce5253f0ce9f
author Joel Brobecker <brobecker@adacore.com> Sat Jan 21 17:48:43 2017 +0400
committer Joel Brobecker <brobecker@adacore.com> Sat Jan 21 17:48:43 2017 +0400
tree d181c86e02c9d40bf0993755b24535579dae431f
parent 3fc6097b073698a50d0ab70c6c8205a83cd9383c

Set GDB version number to 7.12.1.

gdb/ChangeLog:

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

gdb/ChangeLog

diff --git a/gdb/ChangeLog b/gdb/ChangeLog
index 1d5ad9c..71c1f91 100644
--- 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

gdb/PROBLEMS

diff --git a/gdb/PROBLEMS b/gdb/PROBLEMS
index 974f4f0..d527c80 100644
--- 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/
 

gdb/version.in

diff --git a/gdb/version.in b/gdb/version.in
index 20b9abb..3869adc 100644
--- a/gdb/version.in
+++ b/gdb/version.in
@@ -1 +1 @@
-7.12.0.DATE-git
+7.12.1