Skip to content

Conversation

@Youssef1313
Copy link
Member

Fixes #62421

@Youssef1313 Youssef1313 requested a review from a team as a code owner August 11, 2022 09:03
@ghost ghost added Area-IDE Community The pull request was submitted by a contributor who is not a Microsoft employee. labels Aug 11, 2022
@Youssef1313
Copy link
Member Author

@333fred Can you review this very small bug fix? Thanks!

Copy link
Member

@333fred 333fred left a comment

Choose a reason for hiding this comment

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

LGTM, but someone from @dotnet/roslyn-ide needs to review as well.

Copy link
Member

@genlu genlu left a comment

Choose a reason for hiding this comment

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

Thanks

@genlu genlu merged commit 6a9e93c into dotnet:main Aug 11, 2022
@ghost ghost added this to the Next milestone Aug 11, 2022
@Youssef1313 Youssef1313 deleted the issues/62421 branch August 12, 2022 09:23
@dibarbet dibarbet modified the milestones: Next, 17.4 P2 Sep 1, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Area-IDE Community The pull request was submitted by a contributor who is not a Microsoft employee.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

'required' isn't offered in records

4 participants