Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Fix typo ConcatinatedString -> ConcatenatedString #108033

Merged
merged 4 commits into from
Sep 21, 2024
Merged

Conversation

MahdiyarGHD
Copy link
Contributor

No description provided.

@dotnet-issue-labeler dotnet-issue-labeler bot added the needs-area-label An area label is needed to ensure this gets routed to the appropriate area owners label Sep 19, 2024
@dotnet-policy-service dotnet-policy-service bot added the community-contribution Indicates that the PR has been added by a community member label Sep 19, 2024
@MahdiyarGHD MahdiyarGHD changed the title Fix typo ConcatinatedString -> ConcatenatedString Fix typo ConcatinatedString -> ConcatenatedString Sep 20, 2024
@am11 am11 added area-Infrastructure and removed needs-area-label An area label is needed to ensure this gets routed to the appropriate area owners labels Sep 21, 2024
Copy link
Contributor

Tagging subscribers to this area: @dotnet/runtime-infrastructure
See info in area-owners.md if you want to be subscribed.

@lewing
Copy link
Member

lewing commented Sep 21, 2024

/ba-g failures are unrelated

@lewing lewing merged commit bbe61b9 into dotnet:main Sep 21, 2024
14 of 124 checks passed
@kasperk81
Copy link
Contributor

failures are unrelated

open issue so other prs don't hit the same?

@lewing
Copy link
Member

lewing commented Sep 21, 2024

failures are unrelated

open issue so other prs don't hit the same?

Or imagine if I spent much of my Saturday fighting bigger problems? who knows?

sirntar pushed a commit to sirntar/runtime that referenced this pull request Sep 30, 2024
@github-actions github-actions bot locked and limited conversation to collaborators Oct 22, 2024
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
area-Infrastructure community-contribution Indicates that the PR has been added by a community member
Projects
Status: Done
Development

Successfully merging this pull request may close these issues.

4 participants