Skip to content

Merge release/dev16.6 to master#43239

Merged
12 commits merged intomasterfrom
merges/release/dev16.6-to-master
Apr 14, 2020
Merged

Merge release/dev16.6 to master#43239
12 commits merged intomasterfrom
merges/release/dev16.6-to-master

Conversation

@dotnet-bot
Copy link
Collaborator

This is an automatically generated pull request from release/dev16.6 into master.

git fetch --all
git checkout merges/release/dev16.6-to-master
git reset --hard upstream/master
git merge upstream/release/dev16.6
# Fix merge conflicts
git commit
git push upstream merges/release/dev16.6-to-master --force

Once all conflicts are resolved and all the tests pass, you are free to merge the pull request.

genlu and others added 6 commits April 8, 2020 10:51
…hrow

We had a race where if you were adding a project's output path, that
could potentially convert metadata references in other projects to
project references, and in the process we would stop watching for file
changes any of the converted references. If at the same time you removed
the project that contained the reference being converted, we might
end up stopping watching file watches twice, and the second would throw.

Fixes https://devdiv.visualstudio.com/DevDiv/_workitems/edit/957715
@dotnet-bot dotnet-bot requested a review from a team as a code owner April 9, 2020 21:03
@dotnet-bot dotnet-bot added Area-Infrastructure auto-merge Merge Conflicts There are merge conflicts with the base branch. labels Apr 9, 2020
Copy link

@ghost ghost left a comment

Choose a reason for hiding this comment

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

Auto-approval

genlu and others added 4 commits April 9, 2020 14:35
Fix override completion to preserve added imports
…her-race

Fix race where updating an output path and removing a project could throw
Restrict whitespace collapse between methods to Metadata As Source
@dibarbet dibarbet removed the Merge Conflicts There are merge conflicts with the base branch. label Apr 10, 2020
@dotnet-bot dotnet-bot added the Merge Conflicts There are merge conflicts with the base branch. label Apr 10, 2020
@dotnet-bot dotnet-bot requested review from a team as code owners April 13, 2020 20:43
@ghost ghost merged commit 1c521d7 into master Apr 14, 2020
@ghost ghost deleted the merges/release/dev16.6-to-master branch April 14, 2020 00:59
This pull request was closed.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Area-Infrastructure auto-merge Merge Conflicts There are merge conflicts with the base branch.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

7 participants