Re: [PATCH] gnu: Remove trademark acknowledgements.

[Ricardo Wurmus]

Eric Bavier <address@hidden> writes:

> On Mon, 22 Aug 2016 22:03:58 +0200
> Ricardo Wurmus <address@hidden> wrote:
>
>> John Darrington <address@hidden> writes:
>> 
>> > These somehow crept in, but are an explicit violation of GNU policy and
>> > coding standards.  
>> 
>> Good catch!  Thanks for fixing this.
>> 
>> ~~ Ricardo
>
> How about the attached patch to catch such things earlier?

I like it.  Thanks, Eric!

Not sure if we should use “for-each” here (going through the string
once for each character) or if we could just go through the string once,
checking for any character match.

Also, should we replace “sign” with “character”?

~~ Ricardo