From 872cb4b30d9d3891cbcc25c812bd747c6dc70d24 Mon Sep 17 00:00:00 2001
From: cartermp <pcarter@fastmail.com>
Date: Fri, 4 Sep 2020 16:10:33 -0700
Subject: [PATCH 1/2] Go back to an SDK that is actually installed on machines

---
 global.json | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/global.json b/global.json
index 3a93a1d01f8..2362b30922b 100644
--- a/global.json
+++ b/global.json
@@ -1,9 +1,9 @@
 {
   "sdk": {
-    "version": "3.1.302"
+    "version": "3.1.401"
   },
   "tools": {
-    "dotnet": "3.1.302",
+    "dotnet": "3.1.401",
     "vs": {
       "version": "16.4",
       "components": [

From 5c4177b13511500f143581c89b1d4d332424db35 Mon Sep 17 00:00:00 2001
From: Phillip Carter <pcarter@fastmail.com>
Date: Tue, 8 Sep 2020 11:18:23 -0700
Subject: [PATCH 2/2] Update global.json

---
 global.json | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/global.json b/global.json
index 2362b30922b..639c120ea24 100644
--- a/global.json
+++ b/global.json
@@ -5,7 +5,7 @@
   "tools": {
     "dotnet": "3.1.401",
     "vs": {
-      "version": "16.4",
+      "version": "16.7",
       "components": [
         "Microsoft.VisualStudio.Component.FSharp"
       ]