From 70ebb1baec4eda1f81191f7d589a967fdb6fed61 Mon Sep 17 00:00:00 2001 From: Doug Evans Date: Wed, 14 Dec 2011 15:37:31 +0000 Subject: [PATCH] Add PR # 7200 to: Make "!" an alias for "shell". --- gdb/ChangeLog | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 - 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. -- 2.47.3