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

diff --git a/gdb/ChangeLog b/gdb/ChangeLog
index 51cec931c6f442786887e1c5d94199e1dc37263b..088f6bb1f08103ce1a5de238d3fde29b45db16f7 100644 (file)
--- a/gdb/ChangeLog
+++ b/gdb/ChangeLog
@@ -1104,7 +1104,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.