On 2019-01-23 14:43:15 +1300, Thomas Munro wrote:
> The function name comments are similar, though less consistent so I'm
> too lazy to write a script to find one that is actually wrong (with
> which to trigger Andres's let's-delete-them-all response :-D).
I wish function comment styles were more consistent, but there's *SO*
many styles, that I think it's hard to nicely automate it. And it's much
more likely to cause conflicts than removing IDENTIFICATION. So...
Greetings,
Andres Freund