> On 5 Jun 2026, at 23:05, Nathan Bossart <[email protected]> wrote: > > On Sat, Jun 06, 2026 at 12:57:56AM +0530, Ayush Tiwari wrote: >> Thoughts? Does this look like the right approach, or is there a >> reason to keep refint around? > > +1. Do we need an appendix-obsolete entry for the docs?
Seems like a reasonable thing to add. Once merged, we should probably add (and backpatch) a mention to the docs that the functionality will be removed in v20. -- Daniel Gustafsson
