On 3 July 2018 at 22:35, Markus Armbruster wrote:
> The following changes since commit e8c858944ea61923ca563bb5905bf04624d05f16:
>
> Merge remote-tracking branch 'remotes/bonzini/tags/for-upstream' into
> staging (2018-07-02 19:07:19 +0100)
>
> are available in the Git repository at:
>
> git:
The following changes since commit e8c858944ea61923ca563bb5905bf04624d05f16:
Merge remote-tracking branch 'remotes/bonzini/tags/for-upstream' into staging
(2018-07-02 19:07:19 +0100)
are available in the Git repository at:
git://repo.or.cz/qemu/armbru.git tags/pull-monitor-2018-07-03-v2
fo