Re: [Qemu-devel] [PULL 0/3] Build system and documentation patches for 2019-07-15

2019-07-16 Thread Peter Maydell
On Tue, 16 Jul 2019 at 05:52, Markus Armbruster wrote: > > The following changes since commit 5ea8ec2fcf57cb9af24ad2cf17b4d64adb03afdf: > > Merge remote-tracking branch 'remotes/maxreitz/tags/pull-block-2019-07-15' > into staging (2019-07-15 16:11:47 +0100) > > are available in the Git reposito

[Qemu-devel] [PULL 0/3] Build system and documentation patches for 2019-07-15

2019-07-15 Thread Markus Armbruster
The following changes since commit 5ea8ec2fcf57cb9af24ad2cf17b4d64adb03afdf: Merge remote-tracking branch 'remotes/maxreitz/tags/pull-block-2019-07-15' into staging (2019-07-15 16:11:47 +0100) are available in the Git repository at: git://repo.or.cz/qemu/armbru.git tags/pull-build-2019-07-1