On Fri, Oct 18, 2024 at 12:46:02AM -0700, karthik nayak wrote:

Taylor Blau [off-list ref] writes:

quoted

On Thu, Oct 17, 2024 at 06:53:42AM +0200, Patrick Steinhardt wrote:

quoted

Range-diff against v2:

The range-diff looks like we're getting close here, or are already
there. Do others agree that this is ready to start merging down?

Thanks,
Taylor

I had already reviewed version 1, having a look at the range-diff now,
seems like it is ready to be merged!

Thanks, both.

Thanks,
Taylor