Skip to content

Re-merge commits that got lost between main/live#5033

Merged
roji merged 3 commits into
dotnet:mainfrom
roji:WhatsNew
May 21, 2025
Merged

Re-merge commits that got lost between main/live#5033
roji merged 3 commits into
dotnet:mainfrom
roji:WhatsNew

Conversation

@roji
Copy link
Copy Markdown
Member

@roji roji commented May 21, 2025

No description provided.

@roji roji enabled auto-merge (rebase) May 21, 2025 11:41
Link text should be descriptive [Context: "[here]"]
@roji roji merged commit d07978b into dotnet:main May 21, 2025
3 checks passed
@roji roji deleted the WhatsNew branch May 21, 2025 12:01
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.

3 participants