Merge main to release/dev16.8 - #10125

Merged

cartermp merged 2 commits into

release/dev16.8from

merges/main-to-release/dev16.8

Sep 15, 2020

Commits on Sep 15, 2020

Check XML doc parameter names for FSharp.Core via opt-in checking (#10118)

dsyme
and
Don Syme
authored
20dec2a
No STAThread on coreclr build of fsi. (#10122)
KevinRansom
authored
24c055d