Merge pull request #11824 from lampepfl/topic/update-shapeless

odersky · web-flow · commit b1f0b30d0f60 · 2021-03-19T23:57:48.000+01:00
Update shapeless
diff --git a/community-build/community-projects/shapeless b/community-build/community-projects/shapeless
@@ -1 +1 @@
-Subproject commit 4909c064e0d140b35efedf7fb9cbbd8ab5b09f8a
+Subproject commit 94c1d44133739c7c57b64228caccc4fc938c2862
