bug#43863: closed ([PATCH] grep: remove unusable code)

[GNU bug Tracking System]

Your message dated Sun, 11 Oct 2020 09:56:36 -0700
with message-id <0cea271c-4372-997b-5048-a867e6fae1fc@cs.ucla.edu>
and subject line Re: bug#43863: [PATCH] grep: remove unusable code
has caused the debbugs.gnu.org bug report #43863,
regarding [PATCH] grep: remove unusable code
to be marked as done.

(If you believe you have received this mail in error, please contact
help-debbugs@gnu.org.)


-- 
43863: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=43863
GNU Bug Tracking System
Contact help-debbugs@gnu.org with problems

--- Begin Message --- Subject: [PATCH] grep: remove unusable code Date: Thu, 08 Oct 2020 18:55:50 +0900

Codes described in attached patch in this mail is dead.

These codes make sense when a maltibyte character is returned in case
conversion for single byte character, but I believe that their cases are
removed in commit 016e590a8198009bce0e1078f6d4c7e037e2df3c.

0001-grep-remove-unusable-code.patch
Description: Text document

--- End Message ---

--- Begin Message --- Subject: Re: bug#43863: [PATCH] grep: remove unusable code Date: Sun, 11 Oct 2020 09:56:36 -0700 User-agent: Mozilla/5.0 (X11; Linux x86_64; rv:68.0) Gecko/20100101 Thunderbird/68.10.0 Thanks for the patch. I installed it, and also installed the attached minor cleanups of related code that I discovered while reviewing it.

0001-grep-minor-kwset-cleanups.patch
Description: Text Data

--- End Message ---