Revert "Create new port version pointing to latest port commit."

This reverts commit d4d4bd7.
danielbuhrig · Nov 19, 2021 · aec5202 · aec5202
1 parent d4d4bd7
commit aec5202
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 6 deletions.
diff --git a/versions/baseline.json b/versions/baseline.json
@@ -6674,7 +6674,7 @@
     },
     "theia": {
       "baseline": "0.8",
-      "port-version": 5
+      "port-version": 4
     },
     "think-cell-range": {
       "baseline": "498839d",

diff --git a/versions/t-/theia.json b/versions/t-/theia.json
@@ -1,10 +1,5 @@
 {
   "versions": [
-    {
-      "git-tree": "2e42051ad50270f9e1d5fa48ab2f34867f9c7280",
-      "version-string": "0.8",
-      "port-version": 5
-    },
     {
       "git-tree": "9e4f395b731d46fde09836e4ff9a23ace6c74a6a",
       "version-string": "0.8",