Set properties for v3.5.1 in public with mike 2.1.3

9de3e9db · Miguel Angel Reina Ortega · 49923b15 · 9de3e9db
Commit 9de3e9db authored 2 months ago by Miguel Angel Reina Ortega
--- a/public/versions.json
+++ b/public/versions.json
@@ -38,7 +38,10 @@
  {
    "version": "v3.5.1",
    "title": "v3.5.1",
-    "aliases": []
+    "aliases": [],
+    "properties": {
+      "hidden": true
+    }
  },
  {
    "version": "v3.5.0",