[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [bug-gawk] gawk -h != gawk --help
From: |
arnold |
Subject: |
Re: [bug-gawk] gawk -h != gawk --help |
Date: |
Tue, 30 Sep 2014 08:11:47 -0600 |
User-agent: |
Heirloom mailx 12.4 7/29/08 |
"Andrew J. Schorr" <address@hidden> wrote:
> On Mon, Sep 29, 2014 at 09:04:30PM -0600, address@hidden wrote:
> > Got it in one, Andy. Please push that to gawk-4.1-stable. I can
> > merge it to master it if you want.
>
> I pushed it and merged it. I hope I didn't screw it up this time. :-)
>
> Regards,
> Andy
Just did a pull and it all looks fine. Thanks!
Arnold