On Tue, 7 Jul 2020 at 18:50, Peter Maydell <peter.mayd...@linaro.org> wrote: > > On Tue, 7 Jul 2020 at 13:04, Michael S. Tsirkin <m...@redhat.com> wrote: > > Precisely. Sorry about missing this. > > I made this change and pushed to the same tag - don't want to spam > > the list for a small thing like this. Can you pick this up pls? > > Commit 849c48004df0e123b53fe9888770cb4f6eb5e8ab now > > Sure. (You can always just resend a new v2 cover letter without > all the patches; that's what most people do for minor respins.) > > Applied, thanks.
I've just noticed that the commit that got merged was not the one you quote but 1e0a84ea49b68b7cf60e -- can you check whether anything was missed or the wrong version ? thanks -- PMM
