[PATCH] Remove some junk characters from COPYING · Ramkumar Ramachandra <hidden> · 2016-06-15
Re: [PATCH] Remove some junk characters from COPYING · David Aguilar <hidden> · 2016-06-15
Re: [PATCH] Remove some junk characters from COPYING · Ramkumar Ramachandra <hidden> · 2016-06-15
Re: [PATCH] Remove some junk characters from COPYING · Robin Rosenberg <hidden> · 2016-06-15
Re: [PATCH] Remove some junk characters from COPYING · Ramkumar Ramachandra <hidden> · 2016-06-15

Re: [PATCH] Remove some junk characters from COPYING

From: Ramkumar Ramachandra <hidden>
Date: 2016-06-15 22:48:02

Hi,

It is a form-feed (force new page when printing) so it should probably be
called by that name, if it were to be removed.

Oh, thanks for that- I just looked it up. I don't know if they should
be removed at all.