On 3 July 2018 at 22:05, Markus Armbruster wrote:
> The following changes since commit b07cd3e748b3f27a17c27afeee578dc4eedb8dd5:
>
> Merge remote-tracking branch 'remotes/dgibson/tags/ppc-for-3.0-20180703'
> into staging (2018-07-03 14:59:27 +0100)
>
> are available in the Git repository at:
>
The following changes since commit b07cd3e748b3f27a17c27afeee578dc4eedb8dd5:
Merge remote-tracking branch 'remotes/dgibson/tags/ppc-for-3.0-20180703' into
staging (2018-07-03 14:59:27 +0100)
are available in the Git repository at:
git://repo.or.cz/qemu/armbru.git tags/pull-qapi-2018-07-03
