Skip to content

Cherry-pick PR #34909#35273

Merged
RikkiGibson merged 3 commits intodotnet:masterfrom
RikkiGibson:cherry-pick-34909
May 17, 2019
Merged

Cherry-pick PR #34909#35273
RikkiGibson merged 3 commits intodotnet:masterfrom
RikkiGibson:cherry-pick-34909

Conversation

@RikkiGibson
Copy link
Member

@RikkiGibson RikkiGibson commented Apr 25, 2019

Based on #34909. Meant to exercise #35217.

cc @gafter @jaredpar

We believe we've addressed the problem that this change produces via #35311 and #35373.

@RikkiGibson RikkiGibson requested a review from a team as a code owner April 25, 2019 19:34
@RikkiGibson RikkiGibson added Area-Compilers Area-Infrastructure PR For Personal Review Only The PR doesn’t require anyone other than the developer to review it. labels Apr 25, 2019
@RikkiGibson RikkiGibson removed the PR For Personal Review Only The PR doesn’t require anyone other than the developer to review it. label May 7, 2019
@jcouv jcouv self-assigned this May 7, 2019
@RikkiGibson
Copy link
Member Author

Planning on merging this after the dev16.2 preview1 snap on May 8th

Copy link
Member

@gafter gafter left a comment

Choose a reason for hiding this comment

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

:shipit:

@RikkiGibson RikkiGibson requested a review from jcouv May 7, 2019 22:29
Copy link
Member

@jcouv jcouv 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 (iteration 3)

@jcouv
Copy link
Member

jcouv commented May 16, 2019

@RikkiGibson This PR seems ready to merge, if it is still relevant. Can it be merged or closed?

@RikkiGibson
Copy link
Member Author

It's definitely relevant. I was just waiting until things calmed down with VS insertions because there's a small risk that this re-introduces a build failure on the VS side. Since we just inserted to all VS branches (yay!) I will go ahead and merge now.

@RikkiGibson RikkiGibson merged commit 9059052 into dotnet:master May 17, 2019
@RikkiGibson RikkiGibson deleted the cherry-pick-34909 branch May 17, 2019 00:00
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