Add missing PR number in ChangeLog
authorSimon Marchi <simon.marchi@ericsson.com>
Mon, 28 Aug 2017 21:09:04 +0000 (23:09 +0200)
committerSimon Marchi <simon.marchi@ericsson.com>
Mon, 28 Aug 2017 21:09:12 +0000 (23:09 +0200)
commit3804a3431ae02bfedfa1347864444d9520161604
tree74ed38222ee4869a71b54d63585c9fac37a7c8a2
parentfd437cbc432d5421492a5b0e371750de104cce93
Add missing PR number in ChangeLog

This should have been included in the previous commit.
gdb/ChangeLog