Fix PR 16152's ChangeLog entry.
authorPedro Alves <palves@redhat.com>
Thu, 28 Nov 2013 17:27:36 +0000 (17:27 +0000)
committerPedro Alves <palves@redhat.com>
Thu, 28 Nov 2013 17:27:36 +0000 (17:27 +0000)
commit514c0aa6a38dd03b2a6ebf7ec293afa518867403
tree26d80fbc0ce5a77c35ab6f879c49d8c8693eeab2
parent8b5e6dc2178814b2506793473347073061310ba7
Fix PR 16152's ChangeLog entry.

Mention PR 16152.  Fix formatting.  Make wording match commit log.
gdb/ChangeLog