[gdb] Fixup incomplete patch 0dbfed25e9
authorTom de Vries <tdevries@suse.de>
Thu, 14 Jun 2018 20:25:38 +0000 (22:25 +0200)
committerTom de Vries <tdevries@suse.de>
Thu, 14 Jun 2018 20:31:41 +0000 (22:31 +0200)
commit74fdb8ff707f0a02b587630324d29c0755e6b5d5
tree757a193604f336b41fa238e445e90175db7aed40
parent87a8eca781910ec2079426f309145be18df8106c
[gdb] Fixup incomplete patch 0dbfed25e9
gdb/doc/gdb.texinfo