chore: Update MPL to 1.3.0

ajewellamz · ajewellamz · commit 6a703de9442d · 2024-04-29T07:15:10.000-04:00
diff --git a/project.properties b/project.properties
@@ -1,4 +1,4 @@
 projectJavaVersion=3.3.0
-mplDependencyJavaVersion=1.2.0
+mplDependencyJavaVersion=1.3.0
 dafnyRuntimeJavaVersion=4.2.0
 smithyDafnyJavaConversionVersion=0.1
diff --git a/submodules/MaterialProviders b/submodules/MaterialProviders
@@ -1 +1 @@
-Subproject commit 3e2a1654a12e64fc0e76a117f6641ec761f8f241
+Subproject commit 0b9567d85de6e5af6d21603ff547a1f184649dfd
