Merge master to dev15.6#3826

KevinRansom merged 2 commits intodev15.6dotnet/fsharp:dev15.6from

merges/master-to-dev15.6-20171026-065954dotnet/fsharp:merges/master-to-dev15.6-20171026-065954Copy head branch name to clipboard