Merge release/dev16.2 to release/dev16.3

[dotnet-bot]

This is an automatically generated pull request from release/dev16.2 into release/dev16.3.
(created from a manual run of the PR generation tool)

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

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