[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: gawk --lint option
From: |
arnold |
Subject: |
Re: gawk --lint option |
Date: |
Sun, 28 Jun 2020 00:05:06 -0600 |
User-agent: |
Heirloom mailx 12.5 7/5/10 |
Eric Pruitt <eric.pruitt@gmail.com> wrote:
> On Sat, Jun 27, 2020 at 11:51:18PM -0600, arnold@skeeve.com wrote:
> > You're welcome to do this of course. But I doubt that I will incorporate
> > these kinds of changes to behavior which is of such long standing.
>
> I didn't ask you to.
Quite true.