Update shapeless

milessabin · milessabin · commit c3c87c185dad · 2019-09-22T12:44:49.000+01:00
diff --git a/community-build/community-projects/shapeless b/community-build/community-projects/shapeless
@@ -1 +1 @@
-Subproject commit 876d630a65be2746d6f4b84a869ed0a6bc2828d5
+Subproject commit 7c1fdd742c3c2724d534c0a8ab82ec281b158b1e
