gdb/doc: Add missing comma after xref
authorAndreas Arnez <arnez@linux.vnet.ibm.com>
Fri, 18 Nov 2016 15:59:00 +0000 (16:59 +0100)
committerAndreas Arnez <arnez@linux.vnet.ibm.com>
Fri, 18 Nov 2016 15:59:00 +0000 (16:59 +0100)
commit8504e0974cf4b67680a11208b16caa2d3c77b838
tree98425bd00a1e0d7eafd8f9a8f7409ccc1a17b9cc
parentbb050a6932c4b0ea86202fe62bed2d94999f77ad
gdb/doc: Add missing comma after xref

Get rid of a warning for missing punctuation after xref.

gdb/doc/ChangeLog:

* gdb.texinfo (GDB/MI Async Records): Add missing comma after
xref.
gdb/doc/ChangeLog
gdb/doc/gdb.texinfo