Add PR # 7200 to: Make "!" an alias for "shell".

diff --git a/gdb/ChangeLog b/gdb/ChangeLog
index ff2df39c7b2decbe1a816134582dc9fc8921bd22..13b7ecf7d4658ccb99b997559f348d9be46098ba 100644 (file)
--- a/gdb/ChangeLog
+++ b/gdb/ChangeLog
@@ -1097,7 +1097,7 @@
 
 2011-11-14  Doug Evans  <dje@google.com>
 
-       Make "!" an alias for "shell".
+       PR gdb/7200 Make "!" an alias for "shell".
        * NEWS: Add mention.
        * cli/cli-cmds.c (init_cli_cmds): Remove xdb_commands condition on
        adding "!" command, always add it.