On Fri, Nov 15, 2024 at 02:56:57PM +0500, Andrey M. Borodin wrote:
> I’d suggest to combine such changes with some real code modification
> done nearby. There’s plenty of GiST patches on commitfest.
We do a lot of cosmetic fixes like this one, and sometimes we also
have the argument that these should not be blindly included in other
patches as that's just unrelated noise.
FWIW, I don't really mind in this case and this is consistent with the
surroundings, so applied on HEAD.
There is one more in trgm.h, though it's OK as-is, as well.
--
Michael