Re: [gnu.org #725785] GNU coding standard mistake

[Karl Berry]

Hi Jeremy,

    > generate so many false alarms *that that* it hurts readability to silence

Thanks for the report, I'll fix this soonly.

Best,
Karl