diff options
author | Lars Kanis <[email protected]> | 2024-08-13 03:48:29 +0200 |
---|---|---|
committer | GitHub <[email protected]> | 2024-08-12 21:48:29 -0400 |
commit | eedf6c35b306184c8c4a5811033294a8f08f703a (patch) | |
tree | 84b0cac8ab94f191bd44d88c5a64fe3af0df8e1b /lib/rdoc | |
parent | 00e2e24e6fe4f1a3c6dc52f1c8ed17c30351de40 (diff) |
Revert change of "mingw-ucrt" platform string
... of commit 00176cd40fe9f385231e9c20b956fc4a84d240b9.
The reverted change was made only for constistency, as discussed in
https://github.com/ruby/ruby/pull/11358#issuecomment-2282222369
But the platform string "mingw-ucrt" should not be changed.
It is used as RUBY_PLATFORM and as the rubygems platform, so that there should
be a good reason to change the name of an established platform.
"mingw-ucrt" was introduced intentionally in commit
576b2e64cdc5ea42ad345dd3c1c215e006c06fca.
Related to GH-11358
Notes
Notes:
Merged: https://github.com/ruby/ruby/pull/11364
Merged-By: XrXr
Diffstat (limited to 'lib/rdoc')
0 files changed, 0 insertions, 0 deletions