diff mbox

[release/branch,2/2] Bump GDB version number to 7.12.1.DATE-git.

Message ID 20170121140613.12569-3-brobecker@adacore.com
State New, archived
Headers

Commit Message

Joel Brobecker Jan. 21, 2017, 2:06 p.m. UTC 
  gdb/ChangeLog:

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

Pushing...

---
 gdb/ChangeLog  | 5 +++++
 gdb/PROBLEMS   | 2 +-
 gdb/version.in | 2 +-
 3 files changed, 7 insertions(+), 2 deletions(-)
diff mbox

Patch

diff --git a/gdb/ChangeLog b/gdb/ChangeLog
index 1faf7c2..4ae9f22 100644
--- a/gdb/ChangeLog
+++ b/gdb/ChangeLog
@@ -1,5 +1,10 @@ 
 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.
 
 2017-01-21  Joel Brobecker  <brobecker@adacore.com>
diff --git a/gdb/PROBLEMS b/gdb/PROBLEMS
index d527c80..e14d615 100644
--- 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 3869adc..c4bc634 100644
--- a/gdb/version.in
+++ b/gdb/version.in
@@ -1 +1 @@ 
-7.12.1
+7.12.1.DATE-git