It doesn't surprise me that someone that would make a change like that would leave a comment like that.
They removed a trailing space from a comment! They have plenty of free time to write witty check-in comments.
They removed a trailing space from a comment! They have plenty of free time to write witty check-in comments.
I'm not sure if that's a 'bad' practice or just not the purest. But I don't think removing trailing comment space is bad in itself. As above, it probably didn't take any time at all; done automatically by a well-configured editor.