[Crosstoolchain-logs] [SCM] GNU GDB Debian packaging repository branch, master, updated. debian/7.6-3-7-gbb8c177
Samuel Bronson
naesten at gmail.com
Sat Jun 8 18:31:18 UTC 2013
The following commit has been merged in the master branch:
commit bb8c1777d3a729671884c5bd7ec3b0c6816e1beb
Author: Samuel Bronson <naesten at gmail.com>
Date: Fri Jun 7 23:54:38 2013 -0400
Fix version number in NEWS file so lintian will shut up about it.
(It's kinda distracting when trying to spot real issues.)
diff --git a/debian/NEWS b/debian/NEWS
index 9b0fc78..01217c3 100644
--- a/debian/NEWS
+++ b/debian/NEWS
@@ -1,4 +1,4 @@
-gdb (7.4-1) unstable; urgency=low
+gdb (7.4really-1) unstable; urgency=low
gdbtui binary is deprecated, starting with GDB 7.5.
Use "gdb -tui" instead.
--
GNU GDB Debian packaging repository
More information about the Crosstoolchain-logs
mailing list