Skip to content

Rename 'MacOS' to 'macOS'#7349

Merged
glenn-jocher merged 1 commit into
masterfrom
update/macos
Apr 8, 2022
Merged

Rename 'MacOS' to 'macOS'#7349
glenn-jocher merged 1 commit into
masterfrom
update/macos

Commits

Commits on Apr 8, 2022