From 2734140f9864b345b48726ee9976306dbd2eea0f Mon Sep 17 00:00:00 2001
From: Martin Weise <martin.weise@tuwien.ac.at>
Date: Wed, 6 Mar 2024 15:22:56 +0000
Subject: [PATCH] Added another version

---
 .docs/overrides/main.html | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/.docs/overrides/main.html b/.docs/overrides/main.html
index bc23fb67ea..db14ec6adb 100644
--- a/.docs/overrides/main.html
+++ b/.docs/overrides/main.html
@@ -3,9 +3,10 @@
 {% block announce %}
 <label for="version">Version</label>
 <select style="margin-left:8px;" id="version" name="version" onchange="switchVersion(this.options[this.selectedIndex].value)">
+    <option value="latest">latest</option>
+    <option value="1.4.1">1.4.1</option>
     <option value="1.4.0">1.4.0</option>
     <option value="1.3.0">1.3.0</option>
-    <option value="latest">latest</option>
 </select>
 <script>
     function getVersion() {
-- 
GitLab