On Sat, 15 Feb 2020 at 11:42, Markus Armbruster wrote:
>
> The following changes since commit 517c84cef759a453cfb8f51498aebc909a5f3b39:
>
> Merge remote-tracking branch
> 'remotes/kraxel/tags/vga-20200213-pull-request' into staging (2020-02-13
> 18:55:57 +)
>
> are available in the Git rep
The following changes since commit 517c84cef759a453cfb8f51498aebc909a5f3b39:
Merge remote-tracking branch 'remotes/kraxel/tags/vga-20200213-pull-request'
into staging (2020-02-13 18:55:57 +)
are available in the Git repository at:
git://repo.or.cz/qemu/armbru.git tags/pull-qapi-2020-02-