Package: grep;
Reported by: Jim Meyering <jim <at> meyering.net>
Date: Mon, 23 Dec 2013 22:40:02 UTC
Severity: normal
Tags: patch
Done: Paul Eggert <eggert <at> cs.ucla.edu>
Bug is archived. No further changes may be made.
View this message in rfc822 format
From: help-debbugs <at> gnu.org (GNU bug Tracking System) To: Paul Eggert <eggert <at> cs.ucla.edu> Cc: tracker <at> debbugs.gnu.org Subject: bug#16232: closed ([PATCH] grep: make --ignore-case (-i) faster (sometimes 10x) in multibyte locales) Date: Sat, 08 Mar 2014 02:49:02 +0000
[Message part 1 (text/plain, inline)]
[Message part 2 (message/rfc822, inline)]
From: Jim Meyering <jim <at> meyering.net> To: bug-grep <at> gnu.org Subject: [PATCH] grep: make --ignore-case (-i) faster (sometimes 10x) in multibyte locales Date: Mon, 23 Dec 2013 14:39:14 -0800[Message part 3 (text/plain, inline)][k.txt (text/plain, attachment)]
[Message part 5 (message/rfc822, inline)]
From: Paul Eggert <eggert <at> cs.ucla.edu> To: 16232-done <at> debbugs.gnu.org Subject: Re: [PATCH] grep: make --ignore-case (-i) faster (sometimes 10x) in multibyte locales Date: Fri, 07 Mar 2014 18:48:23 -0800
GNU bug tracking system
Copyright (C) 1999 Darren O. Benham,
1997,2003 nCipher Corporation Ltd,
1994-97 Ian Jackson.