From: Ramkumar Ramachandra <artagnon@gmail.com>
Date: Sat, 16 Jan 2010 04:00:42 GMT
Subject: Re: [PATCH] Remove some junk characters from COPYING
Message-ID: <f3271551001152000r6facd476we7f0a1d3ed5cdf87@mail.gmail.com>
In-Reply-To: <201001160209.22589.robin.rosenberg@dewire.com>

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.