Merge branch 'main' into th/link-discourse

apalache-mc · Nov 7, 2024 · 124df44 · 124df44
2 parents 5083ed6 + 0c7e251
commit 124df44
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/project/Dependencies.scala b/project/Dependencies.scala
@@ -12,7 +12,7 @@ object Dependencies {
 
   object Deps {
     // Versions
-    lazy val logbackVersion = "1.5.8"
+    lazy val logbackVersion = "1.5.12"
     lazy val clistVersion = "3.5.1"
 
     // Libraries