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
