Merge release/dev16.7 to release/dev16.8#9656

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

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