From: Peter Maydell Date: Thu, 19 Jul 2018 17:25:53 +0000 (+0100) Subject: Merge remote-tracking branch 'remotes/stefanha/tags/tracing-pull-request' into staging X-Git-Tag: qemu-xen-4.12.0-rc1~43 X-Git-Url: http://xenbits.xensource.com/gitweb?a=commitdiff_plain;h=0b46a3f005458311d6fa479c1f5f8fe3da562d61;p=qemu-xen.git Merge remote-tracking branch 'remotes/stefanha/tags/tracing-pull-request' into staging Pull request Contains a fix to use double-dash consistently with tracing command-line options in documentation and output. # gpg: Signature made Thu 19 Jul 2018 17:24:51 BST # gpg: using RSA key 9CA4ABB381AB73C8 # gpg: Good signature from "Stefan Hajnoczi " # gpg: aka "Stefan Hajnoczi " # Primary key fingerprint: 8695 A8BF D3F9 7CDA AC35 775A 9CA4 ABB3 81AB 73C8 * remotes/stefanha/tags/tracing-pull-request: tracing: Use double-dash spelling for trace option Signed-off-by: Peter Maydell --- 0b46a3f005458311d6fa479c1f5f8fe3da562d61