Add missing PR mention in ChangeLog
authorSimon Marchi <simon.marchi@ericsson.com>
Mon, 7 Aug 2017 16:25:59 +0000 (18:25 +0200)
committerSimon Marchi <simon.marchi@ericsson.com>
Mon, 7 Aug 2017 16:27:29 +0000 (18:27 +0200)
commit7b005726f910af908f0b5ba48b3466d119453b06
tree876fec5d229907fcc27af9bbafe679f836f56d2c
parentba7b109b296feac8cf8cab74db5f824dfa631610
Add missing PR mention in ChangeLog

I noticed that the patch pushed previously had an open bug about it, so
add a reference to it.
gdb/ChangeLog