From: Doug Evans <dje@google.com>
Date: Wed, 14 Dec 2011 15:37:31 +0000 (+0000)
Subject: Add PR # 7200 to: Make "!" an alias for "shell".
X-Git-Tag: gdb_7_4-2012-01-24-release~86
X-Git-Url: http://git.ipfire.org/?a=commitdiff_plain;h=70ebb1baec4eda1f81191f7d589a967fdb6fed61;p=thirdparty%2Fbinutils-gdb.git

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

diff --git a/gdb/ChangeLog b/gdb/ChangeLog
index 51cec931c6f..088f6bb1f08 100644
--- 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.