Skip to content

Conversation

olevett
Copy link
Contributor

@olevett olevett commented Oct 17, 2018

@clairernovotny clairernovotny merged commit 338741d into dotnet:master Oct 17, 2018
@shiftkey
Copy link
Contributor

Apologies all!

@olevett olevett deleted the patch-1 branch October 17, 2018 13:07
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants