Re: [PATCH] gdb: Document vMustReplyEmpty remote packet

Andrew Burgess
2017-05-22T19:34:46Z

* Eli Zaretskii <eliz@gnu.org> [2017-05-15 22:13:02 +0300]:

> > From: Andrew Burgess <andrew.burgess@embecosm.com>
> > Cc: Andrew Burgess <andrew.burgess@embecosm.com>
> > Date: Mon, 15 May 2017 10:32:58 +0100
> >
> > gdb/doc/ChangeLog:
> >
> > * gdb.texinfo (Packets): Document vMustReplyEmpty packet.
>
> This is okay, but "gdbserver" should be in "@command", and "gdb"
> should be replaced with "@value{GDBN}".

Thanks for the review. I've pushed with the fixes you identified.

Thanks,
Andrew