On 20 December 2017 at 18:59, Markus Armbruster wrote:
> The following changes since commit 200780a3a3ed067dfb2e0d2210b0ed09e748ba26:
>
> Merge remote-tracking branch
> 'remotes/armbru/tags/pull-cmdline-2017-12-18-v2' into staging (2017-12-20
> 13:20:48 +)
>
> are available in the git repo
The following changes since commit 200780a3a3ed067dfb2e0d2210b0ed09e748ba26:
Merge remote-tracking branch 'remotes/armbru/tags/pull-cmdline-2017-12-18-v2'
into staging (2017-12-20 13:20:48 +)
are available in the git repository at:
git://repo.or.cz/qemu/armbru.git tags/pull-qapi-2017-12