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

Expose OverloadResolutionPriorityAttribute #10769

Merged
merged 1 commit into from
Dec 20, 2024
Merged

Expose OverloadResolutionPriorityAttribute #10769

merged 1 commit into from
Dec 20, 2024

Conversation

gewarren
Copy link
Contributor

@gewarren gewarren commented Dec 17, 2024

@gewarren gewarren requested a review from BillWagner December 17, 2024 16:21
@gewarren gewarren requested a review from a team as a code owner December 17, 2024 16:21
@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 Dec 17, 2024
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.

1 similar comment
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.

Copy link

Learn Build status updates of commit fcdee37:

✅ Validation status: passed

File Status Preview URL Details
xml/_filter.xml ✅Succeeded

For more details, please refer to the build report.

For any questions, please:

Copy link
Member

@BillWagner BillWagner left a comment

Choose a reason for hiding this comment

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

This LGTM @gewarren

Let's :shipit:

@gewarren gewarren merged commit 7c9c5f9 into main Dec 20, 2024
4 checks passed
@gewarren gewarren deleted the gewarren-patch-2 branch December 20, 2024 03:38
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
needs-area-label An area label is needed to ensure this gets routed to the appropriate area owners
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants