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

2019-06-11 Thread Peter Maydell
On Tue, 11 Jun 2019 at 17:37, Peter Maydell wrote: > > On Tue, 11 Jun 2019 at 16:44, Markus Armbruster wrote: > > > > The following changes since commit a578cdfbdd8f9beff5ced52b7826ddb1669abbbf: > > > > Merge remote-tracking branch 'remotes/rth/tags/pull-tcg-20190610' into > > staging (2019-06

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

2019-06-11 Thread Peter Maydell
On Tue, 11 Jun 2019 at 16:44, 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 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 for you