Index: version.in
===================================================================
RCS file: /cvs/src/src/gdb/version.in,v
retrieving revision 1.4038.2.139
diff -u -p -r1.4038.2.139 version.in
--- version.in	29 Nov 2012 00:01:03 -0000	1.4038.2.139
+++ version.in	29 Nov 2012 09:40:23 -0000
@@ -1 +1 @@
-7.5.0.20121129-cvs
+7.5.1
Index: ChangeLog
===================================================================
RCS file: /cvs/src/src/gdb/ChangeLog,v
retrieving revision 1.14469.2.39
diff -u -p -r1.14469.2.39 ChangeLog
--- ChangeLog	16 Nov 2012 02:02:19 -0000	1.14469.2.39
+++ ChangeLog	29 Nov 2012 09:40:23 -0000
@@ -1,3 +1,7 @@
+2012-11-29  Joel Brobecker  <brobecker@adacore.com>
+
+	* version.in: Update GDB version number to 7.5.1.
+
 2012-11-15  Luis Machado  <lgustavo@codesourcery.com>
 
 	* value.c (value_actual_type): Check for TYPE_CODE_STRUCT