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.

Sign up for GitHub

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

Jump to bottom

Remove redundant settings #83041

Merged
merged 2 commits into from
Apr 3, 2023
Merged

Remove redundant settings #83041

merged 2 commits into from
Apr 3, 2023

Conversation

kant2002
Copy link
Contributor

@kant2002 kant2002 commented Mar 6, 2023 •
edited
Loading

Based on #83023 (comment)

@dotnet-issue-labeler
Copy link

I couldn't figure out the best area label to add to this PR. If you have write-permissions please help me learn by adding exactly one area label.

@ghost ghost added the community-contribution Indicates that the PR has been added by a community member label Mar 6, 2023
eerhardt
eerhardt approved these changes Mar 6, 2023
View reviewed changes
Copy link
Member

@eerhardt eerhardt left a comment

Choose a reason for hiding this comment

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

LGTM. Thanks!

@build-analysis build-analysis bot mentioned this pull request Mar 7, 2023
Closed
@marek-safar marek-safar merged commit b6a7818 into dotnet:main Apr 3, 2023
@kant2002 kant2002 deleted the patch-10 branch April 3, 2023 08:11
@ghost ghost locked as resolved and limited conversation to collaborators May 3, 2023
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Reviewers

@eerhardt eerhardt eerhardt approved these changes

Assignees
No one assigned
Labels
community-contribution Indicates that the PR has been added by a community member
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
3 participants
@kant2002 @eerhardt @marek-safar