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