Skip to content

Conversation

@akoeplinger
Copy link
Member

Follow-up to #39130

@akoeplinger akoeplinger requested a review from eerhardt July 13, 2020 10:04
@Dotnet-GitSync-Bot
Copy link
Collaborator

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
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 for the fix up.

@akoeplinger akoeplinger merged commit fff0ec3 into dotnet:master Jul 13, 2020
@akoeplinger akoeplinger deleted the space-after-other branch July 13, 2020 18:56
@karelz karelz added this to the 5.0.0 milestone Aug 18, 2020
@ghost ghost locked as resolved and limited conversation to collaborators Dec 8, 2020
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

5 participants