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/