diff --git a/public/versions.json b/public/versions.json
index 678d124387cb82120b7c7e8d8360dcf0619ffe41..61b07134f009545ac3913d5edbc594b9c3f6099b 100644
--- a/public/versions.json
+++ b/public/versions.json
@@ -10,7 +10,10 @@
   {
     "version": "v4.1.3",
     "title": "v4.1.3",
-    "aliases": []
+    "aliases": [],
+    "properties": {
+      "hidden": true
+    }
   },
   {
     "version": "v4.1.2",