On 2024-Nov-21, Alexander Kukushkin wrote: > Oh, nice catch.
Yeah, sharp eyes there. > The attached patch should address it. Thanks, pushed. -- Álvaro Herrera 48°01'N 7°57'E — https://www.EnterpriseDB.com/ "The Gord often wonders why people threaten never to come back after they've been told never to return" (www.actsofgord.com)