[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [bug-gawk] gawk bug: IGNORECASE=0 does not work
|
From: |
Andrew J. Schorr |
|
Subject: |
Re: [bug-gawk] gawk bug: IGNORECASE=0 does not work |
|
Date: |
Thu, 5 Feb 2015 09:55:41 -0500 |
|
User-agent: |
Mutt/1.5.23 (2014-03-12) |
On Wed, Feb 04, 2015 at 10:07:21PM +0200, Aharon Robbins wrote:
> Andy - I think your patch is the right way to go. Please sync with the
> repo, then push to gawk-4.1-stable and merge to master. Or if you can't
> do it, let me know and I'll get to it.
I pushed the patch. Is it worth adding a test case for this?
Regards,
Andy