From 224d531331180d20d2d88436392ac78709256b47 Mon Sep 17 00:00:00 2001 From: GitHub Action Date: Tue, 29 Jun 2021 15:44:45 +0000 Subject: [PATCH] Set default version to v5.0.0 with mike 1.0.1 --- index.html | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/index.html b/index.html index db54dba784..d7502f0678 100644 --- a/index.html +++ b/index.html @@ -4,13 +4,13 @@ Redirecting - Redirecting to v4.2.5/... + Redirecting to v5.0.0/... \ No newline at end of file