Merge pull request #7952 from dotnet/merges/release/dev16.4-to-master

Merge release/dev16.4 to master

NuGet.config

@@ -7,6 +7,7 @@
   <packageSources>
     <clear />
     <add key="dotnet-core" value="https://dotnetfeed.blob.core.windows.net/dotnet-core/index.json" />
+    <add key="dotnet-eng" value="https://pkgs.dev.azure.com/dnceng/public/_packaging/dotnet-eng/nuget/v3/index.json" />
     <add key="nuget.org" value="https://api.nuget.org/v3/index.json" />
     <add key="fsharp-daily" value="https://www.myget.org/F/fsharp-daily/api/v3/index.json" />
     <add key="roslyn-master-nightly" value="https://dotnet.myget.org/F/roslyn-master-nightly/api/v3/index.json" />

global.json

 {
   "tools": {
-    "dotnet": "3.0.101",
+    "dotnet": "3.1.100",
     "vs": {
       "version": "16.3",
       "components": [

src/fsharp/FSharp.Core.nuget/FSharp.Core.nuspec

@@ -10,6 +10,7 @@
     </metadata>
     <files>
         $CommonFileElements$
+
         <file src="FSharp.Core\$Configuration$\netstandard2.0\FSharp.Core.dll"              target="lib\netstandard2.0" />
         <file src="FSharp.Core\$Configuration$\netstandard2.0\FSharp.Core.sigdata"          target="lib\netstandard2.0" />
         <file src="FSharp.Core\$Configuration$\netstandard2.0\FSharp.Core.optdata"          target="lib\netstandard2.0" />