From ae21253d8ae4759a74cb95bc5a6186cedb08d9cd Mon Sep 17 00:00:00 2001
From: Miguel Angel Reina Ortega <miguelangel.reinaortega@etsi.org>
Date: Tue, 23 Apr 2024 15:30:56 +0000
Subject: [PATCH] Set properties for v2.9.0 in public with mike 2.0.0

---
 public/versions.json | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/public/versions.json b/public/versions.json
index 430ac404..68a0ed44 100644
--- a/public/versions.json
+++ b/public/versions.json
@@ -37,6 +37,9 @@
   {
     "version": "v2.9.0",
     "title": "v2.9.0",
-    "aliases": []
+    "aliases": [],
+    "properties": {
+      "hidden": true
+    }
   }
 ]
-- 
GitLab