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

milessabin · web-flow · commit 3901f2b445c0 · 2019-09-22T19:57:17.000+01:00
Update shapeless
diff --git a/community-build/community-projects/shapeless b/community-build/community-projects/shapeless
@@ -1 +1 @@
-Subproject commit 876d630a65be2746d6f4b84a869ed0a6bc2828d5
+Subproject commit 7c1fdd742c3c2724d534c0a8ab82ec281b158b1e
