> On 5 Jun 2026, at 23:05, Nathan Bossart <nathandbossart@gmail.com> 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
