Re: lint warning: unnecessary mixing of `>' and `>>'

[Hermann Peifer]

On 21/10/2023 20.04, arnold@skeeve.com wrote:
> The point is that it's bad style to mix > and >> for the same file,
> no matter which one was used first.  I have rewritten the paragraphs
> in that section of the manual to make this more clear. New text
> is below.  I don't see a need to change the lint warning itself.

Thanks for the explanation and for taking the time to rewrite the
related text in the manual.

Regards, Hermann