Re: remaining sql/json patches

On 2023-Nov-17, Amit Langote wrote:

> On Fri, Nov 17, 2023 at 4:27 PM jian he <jian.universality@gmail.com> wrote:

> > some enum declaration, ending element need an extra comma?
> 
> Didn't know about the convention to have that comma, but I can see it
> is present in most enum definitions.

It's new.  See commit 611806cd726f.

-- 
Álvaro Herrera         PostgreSQL Developer  —  https://www.EnterpriseDB.com/