On Thu, 18 Jul 2024 08:29:23 -0700 Andrii Nakryiko <andrii.nakryiko@xxxxxxxxx> 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