Skip to content

Conversation

@jaredpar
Copy link
Member

No description provided.

@jaredpar jaredpar requested a review from a team January 30, 2018 02:58
@mavasani
Copy link
Contributor

@dotnet-bot retest this please

Copy link
Member

@jasonmalinowski jasonmalinowski left a comment

Choose a reason for hiding this comment

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

Fine but sync with @agocke before merging as this will drop insertions on the floor in other exciting ways. It's good exciting, but he should know.

@jaredpar jaredpar merged commit 1f831a4 into dotnet:dev15.7.x Jan 31, 2018
@jaredpar jaredpar deleted the fix-version branch January 31, 2018 00:44
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.

5 participants