From 1e1280c47be4dbe445c1955b77cf413575856880 Mon Sep 17 00:00:00 2001
From: undefined <i@undefined.moe>
Date: Fri, 10 Feb 2023 22:02:26 +0800
Subject: [PATCH] deps: revert broken jsdom types

---
 packages/vjudge/package.json | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/packages/vjudge/package.json b/packages/vjudge/package.json
index 2f1d66bc5..8ede1c743 100644
--- a/packages/vjudge/package.json
+++ b/packages/vjudge/package.json
@@ -13,7 +13,7 @@
         "superagent-proxy": "^3.0.0"
     },
     "devDependencies": {
-        "@types/jsdom": "^21.1.0",
+        "@types/jsdom": "20.0.1",
         "@types/superagent-proxy": "^3.0.0"
     }
 }