On Thu, 18 Jul 2024 08:29:23 -0700 Andrii Nakryiko <andrii.nakry...@gmail.com> wrote:
> Ping. What's the status of this patch? Is it just waiting until after > the merge window, or it got lost? It's probably best to re-ping after rc1 is out. With recent events, a lot of us are way behind in our work. Thanks, -- Steve
