Updates to submodules

rochala · rochala · commit afba4bdc1e08 · 2024-05-05T13:40:29.000+02:00
diff --git a/community-build/community-projects/discipline b/community-build/community-projects/discipline
@@ -1 +1 @@
-Subproject commit 09c975b18dc0b4e10499fb2922abac82ea8b5252
+Subproject commit 9dd5f184d67f7f1ad21e18d982810445a421165e
diff --git a/community-build/community-projects/scala-stm b/community-build/community-projects/scala-stm
@@ -1 +1 @@
-Subproject commit 3244edf13c41f22ff8b45143186745e9eb469220
+Subproject commit cf204977752af7ec2ca3b50c43f27daa6a628f49
diff --git a/community-build/community-projects/verify b/community-build/community-projects/verify
@@ -1 +1 @@
-Subproject commit ae37d7e153fc62d64c40a72c45f810511aef2e01
+Subproject commit 81c1ec3e0d754b221dadb97d81d126338a897271
