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