On 2025-Jan-13, Alvaro Herrera wrote: > There's a few recent SQL/JSON error messages in which we say something > "should" be something else. We avoid this, so I think we shouldn't use > it here either.
Pushed. -- Álvaro Herrera 48°01'N 7°57'E — https://www.EnterpriseDB.com/
