On Tue, Jan 02, 2024 at 12:34:20PM -0500, Robert Haas wrote:
> 0002-0005 look OK to me, so I committed those as well.
Cool, thanks.
> With regard to 0006, we typically use indexes rather than indices as
> the plural of "index", although exceptions exist.
>
> I haven't looked at the rest.
I got that on a local branch, then got drifted away. I have grouped
0007~0009 together (0007 was on me), and applied them on HEAD.
0010 is indeed the "correct" plural form for vertex I've known but
"vertexes" is not wrong either. Perhaps that's worth changing on
consistency grounds?
8)</literal>, must be identical. It doesn't matter which representation
you choose to be the canonical one, so long as two equivalent values with
- different formattings are always mapped to the same value with the same
+ different formatting are always mapped to the same value with the same
formatting.
I am not sure about this one in 0011 though.. It also feels like this
could be reworded completely.
--
Michael