This is the mail archive of the
gdb-patches@sourceware.org
mailing list for the GDB project.
[release/branch] Set GDB version number to 7.12.1.
- From: Joel Brobecker <brobecker at adacore dot com>
- To: gdb-patches at sourceware dot org
- Date: Sat, 21 Jan 2017 17:49:44 +0400
- Subject: [release/branch] Set GDB version number to 7.12.1.
- Authentication-results: sourceware.org; auth=none
Hello,
Just FYI, I am about to push the following change, to prepare
for the upcoming release.
gdb/ChangeLog:
* version.in: Set GDB version number to 7.12.1.
* PROBLEMS: Likewise.
Thanks,
--
Joel
---
gdb/ChangeLog | 5 +++++
gdb/PROBLEMS | 2 +-
gdb/version.in | 2 +-
3 files changed, 7 insertions(+), 2 deletions(-)
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
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/
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
--
2.9.3