On Wed, Jan 03, 2024 at 12:56:58AM -0500, Tom Lane wrote: > Yeah. A quick grep shows that we have 16 uses of "vertices" and > only this one of "vertexes". It's not really wrong, but +1 for > making it match the others.
Applied this one as 793ecff7df80 on HEAD. > I'd leave this alone, it's not wrong either. If you want to propose > a complete rewording, do so; but that's not "misspelling" territory. I don't have a better idea in my mind now, so I'm OK to leave that be. -- Michael
signature.asc
Description: PGP signature
