Re: [PULL 0/9] Gitlab-CI improvements and some other fixes

2021-07-29 Thread Peter Maydell
On Thu, 29 Jul 2021 at 09:22, Thomas Huth wrote: > > Hi Peter! > > The following changes since commit 69ea12b19a15ae006521cd5cc0f627f27f738746: > > Merge remote-tracking branch 'remotes/armbru/tags/pull-misc-2021-07-27' > into staging (2021-07-28 13:32:12 +0100) > > are available in the Git re

[PULL 0/9] Gitlab-CI improvements and some other fixes

2021-07-29 Thread Thomas Huth
Hi Peter! The following changes since commit 69ea12b19a15ae006521cd5cc0f627f27f738746: Merge remote-tracking branch 'remotes/armbru/tags/pull-misc-2021-07-27' into staging (2021-07-28 13:32:12 +0100) are available in the Git repository at: https://gitlab.com/thuth/qemu.git tags/pull-reque