|
From: | Eric Pruitt |
Subject: | Re: gawk --lint option |
Date: | Sat, 27 Jun 2020 22:58:12 -0700 |
User-agent: | Mutt/1.10.1 (2018-07-13) |
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. Eric
[Prev in Thread] | Current Thread | [Next in Thread] |