GNU bug report logs - #17019
[PATCH] grep: removal of trivial_case_ignore

Previous Next

Package: grep;

Reported by: Norihiro Tanaka <noritnk <at> kcn.ne.jp>

Date: Sun, 16 Mar 2014 01:30:03 UTC

Severity: normal

Tags: patch

Done: Paul Eggert <eggert <at> cs.ucla.edu>

Bug is archived. No further changes may be made.

Full log


Message #8 received at 17019 <at> debbugs.gnu.org (full text, mbox):

From: Paolo Bonzini <bonzini <at> gnu.org>
To: Norihiro Tanaka <noritnk <at> kcn.ne.jp>, 17019 <at> debbugs.gnu.org
Subject: Re: bug#17019: [PATCH] grep: removal of trivial_case_ignore
Date: Tue, 01 Apr 2014 10:55:34 +0200
Il 16/03/2014 02:29, Norihiro Tanaka ha scritto:
> However, when change kwsmusts as it's used even if fill MB_CUR_MAX > 1
> and case-insensitive, DFA gives the same result in spite of whether use
> trivial_case_ignore function or not.
>
> Now remove it, because I think that it served one's purpose.

Hi Norihiro, it is not clear to me what are the prerequisites of this 
patch.  Are they already in?

Paolo




This bug report was last modified 11 years and 105 days ago.

Previous Next


GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.