grep - Bugs: bug #36682, Ignore case handling of special...
You are not allowed to post comments on this tracker with your current authentication level.
bug #36682: Ignore case handling of special unicode characters (case folding)
Submitter: | Johannes Meixner <jsmeix> | ||
Submitted: | Tue 19 Jun 2012 10:35:53 AM UTC | ||
Category: | None | Severity: | 3 - Normal |
Item Group: | None | Status: | In Progress |
Privacy: | Public | Assigned to: | None |
Open/Closed: | Open |
Tue 19 Jun 2012 03:59:20 PM UTC, comment #2: |
Paul Eggert <eggert>![]() |
Tue 19 Jun 2012 10:40:48 AM UTC, comment #1: A typo:
|
Johannes Meixner <jsmeix> |
Tue 19 Jun 2012 10:35:53 AM UTC, original submission:
Basically this is related to what is mentioned in the
|
Johannes Meixner <jsmeix> |
Depends on the following items: None found
Items that depend on this one: None found
There are 0 votes so far. Votes easily highlight which items people would like to see resolved in priority, independently of the priority of the item set by tracker managers.
Follow 2 latest changes.
Date | Changed by | Updated Field | Previous Value | => | Replaced by |
---|---|---|---|---|---|
2012-06-19 | eggert | Attached File | - | ![]() |
Added grep-doc-diff.txt, #26063 |
Status | None | ![]() |
In Progress |
Thanks for the bug report. Attached is a proposed patch to the documentation. This wouldn't be in the man page, which is
supposed to be terse, but it would be in the full documentation.
(file #26063)