Cleanup additional merge issue from fsharp5 to master#8249

cartermp merged 1 commit intodotnet:masterdotnet/fsharp:masterfrom

KevinRansom:targetscleanupKevinRansom/fsharp:targetscleanupCopy head branch name to clipboard