Re: [PULL 00/14] Monitor patches for 2020-10-09

2020-10-09 Thread Peter Maydell
On Fri, 9 Oct 2020 at 07:37, Markus Armbruster wrote: > > The following changes since commit 497d415d76b9f59fcae27f22df1ca2c3fa4df64e: > > Merge remote-tracking branch > 'remotes/pmaydell/tags/pull-target-arm-20201008-1' into staging (2020-10-08 > 21:41:20 +0100) > > are available in the Git r

[PULL 00/14] Monitor patches for 2020-10-09

2020-10-08 Thread Markus Armbruster
The following changes since commit 497d415d76b9f59fcae27f22df1ca2c3fa4df64e: Merge remote-tracking branch 'remotes/pmaydell/tags/pull-target-arm-20201008-1' into staging (2020-10-08 21:41:20 +0100) are available in the Git repository at: git://repo.or.cz/qemu/armbru.git tags/pull-monitor-2