On Wed, 10 Aug 2022 at 21:00, Vitaly Buka <vitalyb...@google.com> wrote: > > How can we land this one?
Pinging it a week ago rather than now would have been a good start :-( I think it got missed because you didn't cc the linux-user maintainer. Is this a critical fix for 7.1 or can we let it slip to 7.2 ? thanks -- PMM
