[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [bug-gawk] gawk bug: IGNORECASE=0 does not work
|
From: |
Aharon Robbins |
|
Subject: |
Re: [bug-gawk] gawk bug: IGNORECASE=0 does not work |
|
Date: |
Fri, 06 Feb 2015 09:21:13 +0200 |
|
User-agent: |
Heirloom mailx 12.5 6/20/10 |
Hi Andy.
> 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.
Thanks!
> Is it worth adding a test case for this?
Only if you want to. This seems to be small enough and "obvious" enough
to not need a test. OTOH, I'm getting lazy in my old age... :-)
Thanks,
Arnold