Merge branch 'main' into rkapila/fix-java-release-process

RitvikKapila · web-flow · commit dc74521b68e6 · 2025-02-07T12:16:48.000-08:00
diff --git a/project.properties b/project.properties
@@ -1,5 +1,5 @@
-projectJavaVersion=3.8.0
-mplDependencyJavaVersion=1.9.0
+projectJavaVersion=3.8.0-SNAPSHOT
+mplDependencyJavaVersion=1.9.0-SNAPSHOT
 dafnyVersion=4.9.0
 dafnyVerifyVersion=4.9.0
 dafnyRuntimeJavaVersion=4.9.0
diff --git a/submodules/MaterialProviders b/submodules/MaterialProviders
@@ -1 +1 @@
-Subproject commit 51ccca1c05088a984d201ac2e2d27dd9229d7b2c
+Subproject commit 70e580991678387ce897a286c4f7f449aa616785
