Merge branch 'main' into scala-2.13

lefou · lefou · commit 7b134f123231 · 2021-04-27T10:57:47.000+02:00
diff --git a/project/build.properties b/project/build.properties
@@ -1 +1 @@
-sbt.version=1.5.0
+sbt.version=1.5.1
