[PATCH] gdb: Document vMustReplyEmpty remote packet

[Andrew Burgess]

* 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