diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2020-12-10 11:49:00 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-12-10 11:49:00 +0100 |
| commit | 37d0d757d653e7d831f991f0c7f31d7166845357 (patch) | |
| tree | 3a5d0afc974782ae2c6d3efe87786c5af8c569be /.github/workflows | |
| parent | 2a325f388825a20b8e87280d967de80411b2e927 (diff) | |
| parent | f797e1c0782a477cc8c0e9997aa5add6172ea9a0 (diff) | |
Merge pull request #40708 from bruvzg/improve_os_locale
Improve `OS::get_locale()` and documentation.
Diffstat (limited to '.github/workflows')
0 files changed, 0 insertions, 0 deletions