Re: [Qemu-devel] [PATCH] docs: update manpage for stderr->log rename

2017-02-03 Thread Stefan Hajnoczi
On Thu, Feb 02, 2017 at 12:41:01PM +0100, Philipp Gesang wrote: > With commit ed7f5f1d8db06fc31352a5ef4f54985e630c575a the name of > this backend changed from “stderr” to “log”. > > Signed-off-by: Philipp Gesang > --- > qemu-option-trace.texi | 4 ++-- > 1 file changed, 2 insertions(+), 2 deleti

[Qemu-devel] [PATCH] docs: update manpage for stderr->log rename

2017-02-02 Thread Philipp Gesang
With commit ed7f5f1d8db06fc31352a5ef4f54985e630c575a the name of this backend changed from “stderr” to “log”. Signed-off-by: Philipp Gesang --- qemu-option-trace.texi | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/qemu-option-trace.texi b/qemu-option-trace.texi index 693