On Mon, Jun 23, 2025 at 09:44:29AM +0200, Jelte Fennema-Nio wrote:
> On Mon, 23 Jun 2025 at 09:40, Michael Paquier <michael@paquier.xyz> wrote:
>> This renaming patch looks correct to me. I am not seeing any missing
>> references of \close remaining, including APIs, comments and docs.
>
> Agreed
Applied.
--
Michael