diff options
-rw-r--r-- | gdb/ChangeLog | 5 | ||||
-rw-r--r-- | gdb/PROBLEMS | 2 | ||||
-rw-r--r-- | 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 |