Merge master to release/dev16.8#9809

cartermp merged 2 commits intorelease/dev16.8dotnet/fsharp:release/dev16.8from

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