Merge branch 'main' into microsite

danicheg · Jan 1, 2024 · a484a51 · a484a51
2 parents 59c37bc + d506931
commit a484a51
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/project/build.properties b/project/build.properties
@@ -1 +1 @@
-sbt.version=1.9.7
+sbt.version=1.9.8
diff --git a/project/project/build.properties b/project/project/build.properties
@@ -1 +1 @@
-sbt.version=1.9.7
+sbt.version=1.9.8