Merge dev16.1 to dev16.2

[dotnet-bot]

This is an automatically generated pull request from dev16.1 into dev16.2.

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

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