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