Merge master to release/dev16.2#6792

brettfo merged 1 commit intorelease/dev16.2dotnet/fsharp:release/dev16.2from

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