From 03fb6080ac46be71c79c0922e9167c8c5978e245 Mon Sep 17 00:00:00 2001
From: "mergify[bot]" <mergify[bot]@users.noreply.github.com>
Date: Fri, 17 Nov 2023 00:54:56 +0000
Subject: [PATCH] deploy: f80937a1368bbb478922f36857c056e3eae78bc0

---
 index.html | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/index.html b/index.html
index 01c3aed5..7092bdbd 100644
--- a/index.html
+++ b/index.html
@@ -40,7 +40,7 @@ <h2>Event-driven automatons for Scala, Scala.js and scala native</h2>
       <div id="header-right">
         
           <p>Latest develop Release</p>
-          <p class="large">0.12-8bab0ed-SNAPSHOT</p>
+          <p class="large">0.12-f80937a-SNAPSHOT</p>
         
           <p>Latest Stable Release</p>
           <p class="large">0.11.4</p>