Merge pull request #10021 from dotty-staging/fix-shapeless

smarter · web-flow · commit cdca05705850 · 2020-10-16T13:39:21.000+02:00
Fix shapeless in the community build
diff --git a/community-build/community-projects/shapeless b/community-build/community-projects/shapeless
@@ -1 +1 @@
-Subproject commit b4c2d61ac785720c8ea33eda51104af15fb007d8
+Subproject commit bf335eb9900c0c8d4a8946867769c3fa1a1abfdf
