|
From: | GNU bug Tracking System |
Subject: | [debbugs-tracker] bug#16232: closed ([PATCH] grep: make --ignore-case (-i) faster (sometimes 10x) in multibyte locales) |
Date: | Sat, 08 Mar 2014 02:49:02 +0000 |
Your message dated Fri, 07 Mar 2014 18:48:23 -0800 with message-id <address@hidden> and subject line Re: [PATCH] grep: make --ignore-case (-i) faster (sometimes 10x) in multibyte locales has caused the debbugs.gnu.org bug report #16232, regarding [PATCH] grep: make --ignore-case (-i) faster (sometimes 10x) in multibyte locales to be marked as done. (If you believe you have received this mail in error, please contact address@hidden) -- 16232: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=16232 GNU Bug Tracking System Contact address@hidden with problems
--- Begin Message ---Subject: [PATCH] grep: make --ignore-case (-i) faster (sometimes 10x) in multibyte locales Date: Mon, 23 Dec 2013 14:39:14 -0800 FYI, here is a quick and clean/safe performance improvement for grep -i. I expect to push this commit right after the upcoming bug-fix release. Currently, this optimization is enabled when the search string is ASCII and contains neither of '\' (backslash) nor '['. I expect to eliminate the latter two constraints in a follow-on commit including tests to exercise all of the corner cases. Happy holidays, Jimk.txt
Description: Text document
--- End Message ---
--- Begin Message ---Subject: Re: [PATCH] grep: make --ignore-case (-i) faster (sometimes 10x) in multibyte locales Date: Fri, 07 Mar 2014 18:48:23 -0800 This patch has been installed, so I'm taking the liberty of closing the bug report. User-agent: Mozilla/5.0 (X11; Linux x86_64; rv:24.0) Gecko/20100101 Thunderbird/24.3.0
--- End Message ---
[Prev in Thread] | Current Thread | [Next in Thread] |