bug-gawk
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [bug-gawk] Does gawk deal with signal pipe correctly?


From: arnold
Subject: Re: [bug-gawk] Does gawk deal with signal pipe correctly?
Date: Mon, 18 Jun 2018 02:29:53 -0600
User-agent: Heirloom mailx 12.4 7/29/08

Peng Yu <address@hidden> wrote:

> Thanks for the explanation. I am using homebrew to streamline the package
> management on my machines. Is it going to be a new version of awk released
> to include this bug fix so that one can get the fix easily?

One day.  :-)

No plans for another release at the moment. You can always build from git,
it's not hard.

Arnold



reply via email to

[Prev in Thread] Current Thread [Next in Thread]