On Mon, 20 Mar 2023 at 14:02, Thomas Huth <th...@redhat.com> wrote: > > On 20/03/2023 14.03, Thomas Huth wrote: > > Hi Peter! > > > > The following changes since commit 74c581b6452394e591f13beba9fea2ec0688e2f5: > > > > Merge tag 'trivial-branch-for-8.0-pull-request' of > > https://gitlab.com/laurent_vivier/qemu into staging (2023-03-17 14:22:01 > > +0000) > > > > are available in the Git repository at: > > > > https://gitlab.com/thuth/qemu.git tags/pull-request-2023-03-20 > > > > for you to fetch changes up to 48805df9c22a0700fba4b3b548fafaa21726ca68: > > > > replace TABs with spaces (2023-03-20 12:43:50 +0100) > > Hi Peter, > > FYI, since you likely did not put this into your CI branch yet, I did a > small fix on top: I replaced the patch that fixes osdep.h with the one by > Philippe, since it was slightly better (removing the "extern" keyword > instead of swapping it). > > New commit ID for the tag is now: c29e73f7e65299ed9261abce3950710d89c64724 > > I hope that's ok, if not, please let me know.
Ah, I've already merged the old tag into staging for the CI run. I could drop it and re-do, but we'd burn another lot of CI minutes on it. Is that worth doing? thanks -- PMM
