Re: [PATCH 3/4] New agent command 'kill' and used by gdbserver

Eli Zaretskii
2012-06-09T13:11:14Z

> From: Yao Qi <yao@codesourcery.com>
> Date: Sat, 9 Jun 2012 20:46:41 +0800
>
> 2012-06-09 Yao Qi <yao@codesourcery.com>
>
> * gdb.texinfo (IPA Protocol Commands): Document new command
> 'kill'.

This part is OK. Thanks.