> On 19 Apr 2024, at 15:13, David Benjamin <david...@google.com> wrote: > > Circling back here, anything else needed from my end on this patch?
Patience mostly, v17 very recently entered feature freeze so a lof of the developers are busy finding and fixing bugs to stabilize the release. When the window for new features opens again I am sure this patch will get reviews (I have it on my personal TODO and hope to get to it). -- Daniel Gustafsson