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