Skip to content

Conversation

@Youssef1313
Copy link
Member

@Youssef1313 Youssef1313 commented Aug 18, 2020

Don't merge before dotnet/roslyn#46832 gets merged first. (It's merged now 🎉 )

@Youssef1313
Copy link
Member Author

@BillWagner, Roslyn's PR got merged. This is ready for review.

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.

Commenting so this stays in my queue.

I did review all the changes @Youssef1313 and this is ready to merge once we resolve the TOC question. I'm OK merging this, and starting a new PR for updating that section of the TOC per the style guide, or adding that change to this PR. Let me know which you prefer.

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 @Youssef1313

Thanks again. I'll :shipit: now.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants