Merge pull request #9888 from milessabin/topic/update-shapeless

milessabin · web-flow · commit a50d5e493137 · 2020-09-27T11:44:30.000+01:00
Updated shapeless
diff --git a/community-build/community-projects/shapeless b/community-build/community-projects/shapeless
@@ -1 +1 @@
-Subproject commit a7cb88516d628c09e4e7fa8183bf2af0bf054370
+Subproject commit 2bdebb6da59fafd55ecbbd13d0550b92df4d9a3d
