| commit | e927757df62e62f5d45640ee76e4048703d8d419 | [log] [tgz] |
|---|---|---|
| author | Serhiy Storchaka <storchaka@gmail.com> | Mon Nov 10 12:37:02 2014 +0200 |
| committer | Serhiy Storchaka <storchaka@gmail.com> | Mon Nov 10 12:37:02 2014 +0200 |
| tree | dfb830393c34d8a8abf9da866f7b23217b2deabf | |
| parent | 069bdcbb25cf7dfd90d5967c2ee3191fbe0e9617 [diff] |
Issue #12728: Different Unicode characters having the same uppercase but different lowercase are now matched in case-insensitive regular expressions.