On Thu, May 27, 2021 at 03:20:10PM +0900, Kyotaro Horiguchi wrote:
> At Fri, 14 May 2021 10:04:57 -0400, Tom Lane <tgl@sss.pgh.pa.us> wrote in
>> +1. I tend to write "square bracket" or "curly brace" when I want to
>> be extra clear, but I think the bare terms are widely understood to
>> have those meanings.
>
> Thanks! I think the message is new in 14 so we can fix it right
> away. The attached is the version with a commit message added.
No objections from me to fix that on HEAD now for clarity, let's wait
a bit and see if others have more comments. You have missed an update
of multirangetypes.out, by the way.
--
Michael