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
