Set default version to v4.2.3 with mike 1.0.0

index.html

@@ -4,13 +4,13 @@
   <meta charset="utf-8">
   <title>Redirecting</title>
   <noscript>
-    <meta http-equiv="refresh" content="1; url=v4.2.2/" />
+    <meta http-equiv="refresh" content="1; url=v4.2.3/" />
   </noscript>
   <script>
-    window.location.replace("v4.2.2/");
+    window.location.replace("v4.2.3/");
   </script>
 </head>
 <body>
-  Redirecting to <a href="v4.2.2/">v4.2.2/</a>...
+  Redirecting to <a href="v4.2.3/">v4.2.3/</a>...
 </body>
 </html>