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.
--
Michael