On Tue, Jan 21, 2025 at 11:42 PM Alvaro Herrera <alvhe...@alvh.no-ip.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
