Merge release/dev17.12 to release/dev17.13#76414

dotnet-bot merged 2 commits intorelease/dev17.13dotnet/roslyn:release/dev17.13from

merges/release/dev17.12-to-release/dev17.13dotnet/roslyn:merges/release/dev17.12-to-release/dev17.13Copy head branch name to clipboard