On Fri, Nov 17, 2023 at 6:40 PM Alvaro Herrera <alvhe...@alvh.no-ip.org> wrote: > On 2023-Nov-17, Amit Langote wrote: > > > On Fri, Nov 17, 2023 at 4:27 PM jian he <jian.universal...@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.
I see, thanks. -- Thanks, Amit Langote EDB: http://www.enterprisedb.com