From: Doug Evans <dje@google.com>
Date: Wed, 14 Dec 2011 15:31:55 +0000 (+0000)
Subject: Add PR # 7200 to: Make "!" an alias for "shell".
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=37acd67cf73be4c48718a6034b49e6a09eaca98d;p=binutils-gdb.git

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

diff --git a/gdb/ChangeLog b/gdb/ChangeLog
index ff2df39c7b2..13b7ecf7d46 100644
--- 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.