Skip to content

Update platforms#4908

Merged
roji merged 1 commit into
dotnet:mainfrom
ErikEJ:platforms
Jan 7, 2025
Merged

Update platforms#4908
roji merged 1 commit into
dotnet:mainfrom
ErikEJ:platforms

Conversation

@ErikEJ

@ErikEJ ErikEJ commented Dec 13, 2024

Copy link
Copy Markdown
Contributor

No description provided.

@ErikEJ

ErikEJ commented Jan 2, 2025

Copy link
Copy Markdown
Contributor Author

@roji Possible to have this reviewed?

@roji roji left a comment

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thanks @ErikEJ!

@roji
roji merged commit 700818e into dotnet:main Jan 7, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants