Re: Cosmetical change: remove inconsistent "$file ends here"?

[Andy Wingo]

On Mon 26 Sep 2016 10:32, Christopher Allan Webber <address@hidden> writes:

> It feels like cruft that nobody knows the reason for, or has a good
> reason in this modern age.  I'd rather they just be trimmed.
>
> But I also don't feel like it matters much, so whatever is decided is
> decided. :)

For what it's worth: +1 from me.  These things have cost in terms of
linting, code review, need for explaining to new people, and visual
ceremony, and they have very little benefit if any.

But, also like Christopher, I don't care strongly :)

Andy