[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [bug-gawk] gawk -h != gawk --help
From: |
Andrew J. Schorr |
Subject: |
Re: [bug-gawk] gawk -h != gawk --help |
Date: |
Tue, 30 Sep 2014 10:04:42 -0400 |
User-agent: |
Mutt/1.5.23 (2014-03-12) |
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