From d84a7c3ca67e3d1e3911308b61be891c6512cdf8 Mon Sep 17 00:00:00 2001 From: GitHub Action Date: Tue, 30 Nov 2021 22:19:41 +0000 Subject: [PATCH] Set default version to v5.3.1 with mike 1.1.2 --- index.html | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/index.html b/index.html index e0149c243b..cd27bf5f31 100644 --- a/index.html +++ b/index.html @@ -4,13 +4,13 @@ Redirecting - Redirecting to v5.2.7/... + Redirecting to v5.3.1/... \ No newline at end of file