diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2018-07-23 13:52:48 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-07-23 13:52:48 +0200 |
| commit | 1a9603e2bbae97cf558469bb49e421b93595ed5b (patch) | |
| tree | 188b4fabf6f86470c40c41df5acbe41bf2b3d1ae /platform | |
| parent | 1ad20dc2f13001d95e91cb2089571028f44db11a (diff) | |
| parent | ecb071b2210a5b167f078375635d9c8210b38353 (diff) | |
Merge pull request #20342 from marcelofg55/upper_lower
Fix upper/lower case convertion for characters > 0x80
Diffstat (limited to 'platform')
0 files changed, 0 insertions, 0 deletions