On Tue, Jan 21, 2025 at 11:42 PM Alvaro Herrera <alvherre(at)alvh(dot)no-ip(dot)org> wrote:
> 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.
Sorry Alvaro for not noticing sooner.
I looked at db19a5061ce and it all looks fine to me.
--
Thanks, Amit Langote