On Sun, Aug 10, 2025 at 02:01:22PM +1200, Thomas Munro wrote:
> On Sun, Aug 10, 2025 at 12:22 PM Michael Paquier <michael@paquier.xyz> wrote:
>> Perhaps the open item can be closed then?
>
> Done.
This was marked as closed before 18rc1, but it appears to have been
committed in time for 18beta3, so I moved it to the "resolved before
18beta3" section.
--
nathan