update submodules

aherlihy · aherlihy · commit a05ae96e528b · 2024-05-01T14:10:48.000+02:00
diff --git a/.gitmodules b/.gitmodules
@@ -221,3 +221,7 @@
 [submodule "community-build/community-projects/shapeless-3"]
 	path = community-build/community-projects/shapeless-3
 	url = https://github.com/dotty-staging/shapeless-3.git
+[submodule "shapeless-3"]
+	branch = i16723
+[submodule "scodec"]
+	branch = i16723
diff --git a/community-build/community-projects/scodec b/community-build/community-projects/scodec
@@ -1 +1 @@
-Subproject commit 96a77ecaaf913f195bb4079966a2e9fb41ce214e
+Subproject commit b74f2085f07165d84b32c39eb214c9cc838711cc
diff --git a/community-build/community-projects/shapeless-3 b/community-build/community-projects/shapeless-3
@@ -1 +1 @@
-Subproject commit d27c5ba1ae5111b85df2cfb65a26b9246c52570c
+Subproject commit a59fb8e242409c3f51d5235247dfa0deeb1bb890
