On Mon, Sep 11, 2023 at 10:47 AM Michael Paquier <michael@paquier.xyz> wrote:
> On Mon, Sep 11, 2023 at 10:37:34AM +1200, Thomas Munro wrote:
> > Cool, I'll push/back-patch after 16.0. Even though this seems
> > simple enough, it's an extremely low probability failure and I'd
> > rather keep out of REL_16_STABLE's way...
>
> +1.
Done.