From 3804a3431ae02bfedfa1347864444d9520161604 Mon Sep 17 00:00:00 2001 From: Simon Marchi <simon.marchi@ericsson.com> Date: Mon, 28 Aug 2017 23:09:04 +0200 Subject: [PATCH] Add missing PR number in ChangeLog This should have been included in the previous commit. --- gdb/ChangeLog | 1 + 1 file changed, 1 insertion(+) diff --git a/gdb/ChangeLog b/gdb/ChangeLog index 73106bf0c03..926c96656e1 100644 --- a/gdb/ChangeLog +++ b/gdb/ChangeLog @@ -1,5 +1,6 @@ 2017-08-28 Simon Marchi <simon.marchi@ericsson.com> + PR gdb/21827 * cli/cli-script.c (define_command): Don't convert command name to lower case.