From 681a95d77ebea6062fb67327b800d8dc0a138cd0 Mon Sep 17 00:00:00 2001 From: GitHub Action Date: Tue, 16 Feb 2021 17:32:47 +0000 Subject: [PATCH] Set default version to v4.1.0 with mike 0.5.5 --- index.html | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/index.html b/index.html index 91aa498ec2..ad5c23706e 100644 --- a/index.html +++ b/index.html @@ -3,7 +3,7 @@ Redirecting