Add missing PR number in ChangeLog

This should have been included in the previous commit.
2017-08-28 23:09:04 +02:00 · 2017-08-28 23:09:04 +02:00 · 3804a3431a
parent fd437cbc43
commit 3804a3431a
1 changed files with 1 additions and 0 deletions
--- 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.