Merge master to release/dev16.3#7145

KevinRansom merged 1 commit intorelease/dev16.3dotnet/fsharp:release/dev16.3from

merges/master-to-release/dev16.3dotnet/fsharp:merges/master-to-release/dev16.3Copy head branch name to clipboard