Hi, On 2019-01-23 09:55:22 +0900, Michael Paquier wrote: > On Wed, Jan 23, 2019 at 01:37:41PM +1300, Thomas Munro wrote: > > This could be really confusing for erm, future people reading a dot > > matrix print-out of the source code?
I think we should just rip them out. It's useless noise. > Yes, it would be nice to make all that consistent. Perhaps the > authors of the related commits would prefer fix that themselves? That sounds like a waste of effort. This is fixing up useless anachronisms, I don't understand what'd be gained by splitting this up over multiple people. Greetings, Andres Freund
