Re: [PATCH] gdb: Document vMustReplyEmpty remote packet

Eli Zaretskii
2017-05-15T19:13:23Z

> 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}".