> From: Gavin Smith <[email protected]> > Date: Mon, 1 Jan 2018 10:50:15 +0000 > Cc: [email protected] > > I believe the comment is supposed to include the linefeed. In this > context it doesn't seem very useful, but changing it would be difficult > and would be likely to break something else.
I believe you are right. One place where this is definitely used is in some macros.
