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