From 09f9793cb4bc0d602efff8d4b1c0e938df92ffb8 Mon Sep 17 00:00:00 2001 From: Miguel Angel Reina Ortega <miguelangel.reinaortega@etsi.org> Date: Tue, 16 Apr 2024 09:12:09 +0000 Subject: [PATCH] Copied v51.0 to [latest,, latestR51], latest in public with mike 2.0.0 --- public/[latest, | 1 + public/latestR51] | 1 + public/versions.json | 2 ++ 3 files changed, 4 insertions(+) create mode 120000 public/[latest, create mode 120000 public/latestR51] diff --git a/public/[latest, b/public/[latest, new file mode 120000 index 00000000..8daf51b9 --- /dev/null +++ b/public/[latest, @@ -0,0 +1 @@ +v51.0 \ No newline at end of file diff --git a/public/latestR51] b/public/latestR51] new file mode 120000 index 00000000..8daf51b9 --- /dev/null +++ b/public/latestR51] @@ -0,0 +1 @@ +v51.0 \ No newline at end of file diff --git a/public/versions.json b/public/versions.json index ea772ede..ee17749c 100644 --- a/public/versions.json +++ b/public/versions.json @@ -4,6 +4,8 @@ "title": "v51.0", "aliases": [ "latestR51", + "latestR51]", + "[latest,", "latest" ] }, -- GitLab