Re: [Qemu-devel] [PULL v2 00/12] Miscellaneous patches for 2019-06-11

2019-06-12 Thread Peter Maydell
On Tue, 11 Jun 2019 at 19:31, Markus Armbruster wrote: > > The following changes since commit a578cdfbdd8f9beff5ced52b7826ddb1669abbbf: > > Merge remote-tracking branch 'remotes/rth/tags/pull-tcg-20190610' into > staging (2019-06-10 16:09:19 +0100) > > are available in the Git repository at: >

[Qemu-devel] [PULL v2 00/12] Miscellaneous patches for 2019-06-11

2019-06-11 Thread Markus Armbruster
The following changes since commit a578cdfbdd8f9beff5ced52b7826ddb1669abbbf: Merge remote-tracking branch 'remotes/rth/tags/pull-tcg-20190610' into staging (2019-06-10 16:09:19 +0100) are available in the Git repository at: git://repo.or.cz/qemu/armbru.git tags/pull-misc-2019-06-11-v2 for