diff options
| -rw-r--r-- | src/ChangeLog | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/ChangeLog b/src/ChangeLog index 71fc1056391..79424fd7cb1 100644 --- a/src/ChangeLog +++ b/src/ChangeLog @@ -1,6 +1,6 @@ 2012-07-26 Paul Eggert <eggert@cs.ucla.edu> - Simplify export of symbols to GDB; fix related .gdbinit bugs. + Simplify export of symbols to GDB (Bug#12036). * .gdbinit (xgetptr, xgetint, xgettype): Don't use "set $bugfix = $bugfix.i", as this doesn't work (with GDB 7.4.1, anyway). (xgetptr, xgetint, xgettype, xcoding, xcharset, xprintbytestr): |