Merge master to release/dev16.3#7159

Merged

KevinRansom merged 4 commits intorelease/dev16.3from

merges/master-to-release/dev16.3

Jul 9, 2019

Commits on Jul 5, 2019

Update dependencies from https://github.com/dotnet/arcade build 20190704.2
dotnet-maestro
committed

Commits on Jul 6, 2019

Update dependencies from https://github.com/dotnet/arcade build 20190705.2
dotnet-maestro
committed

Commits on Jul 7, 2019