From 96b0328f58f59fbafaaf1e9dd63f085d30981425 Mon Sep 17 00:00:00 2001
From: Dejan Mijic <dmijic@acm.org>
Date: Tue, 22 Aug 2023 14:47:37 +0200
Subject: [PATCH] Bump sbt

---
 project/build.properties | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/project/build.properties b/project/build.properties
index ef3d26620..e3c114d85 100644
--- a/project/build.properties
+++ b/project/build.properties
@@ -1 +1 @@
-sbt.version = 1.8.3
+sbt.version = 1.9.3