On Mon, Feb 26, 2024 at 05:00:13PM +0800, Japin Li wrote:
> On Mon, 26 Feb 2024 at 16:41, jian he <jian.universality@gmail.com> wrote:
>> similarly, last entry, no need an extra comma?
>> also other places last array entry no need extra comma.
>
> For last entry comma, see [1].
>
> [1] https://www.postgresql.org/message-id/386f8c45-c8ac-4681-8add-e3b0852c1620%40eisentraut.org
And also see commit 611806cd726f. This makes the diffs more elegant
to the eye when adding new elements at the end of these arrays.
--
Michael
