From c6c681ed8d40854fbc385245498e93e056c19223 Mon Sep 17 00:00:00 2001
From: Max Kasperowski <mka@informatik.uni-kiel.de>
Date: Mon, 8 Jan 2024 13:36:06 +0100
Subject: [PATCH] add 0.9.1

---
 client/src/json/json_template.html | 1 +
 1 file changed, 1 insertion(+)

diff --git a/client/src/json/json_template.html b/client/src/json/json_template.html
index 6bb0d36..8631c15 100644
--- a/client/src/json/json_template.html
+++ b/client/src/json/json_template.html
@@ -28,6 +28,7 @@
             <form class="form-inline float-right">
                 <select id="elk-version" class="custom-select">
                     <option value="latest" selected>@latest (<%= htmlWebpackPlugin.options.latestVersion %>)</option>
+                    <option value="9-1">0.9.1</option>
                     <option value="9">0.9.0</option>
                     <option value="8">0.8.2</option>
                     <option value="7-1">0.7.1</option>