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

milessabin · web-flow · commit 54a54d2a93c2 · 2019-12-31T23:51:37.000Z
Update shapeless
diff --git a/community-build/community-projects/shapeless b/community-build/community-projects/shapeless
@@ -1 +1 @@
-Subproject commit 613dad5e2346eeadeb90d74c3efa408180f8f242
+Subproject commit 63c5e0a4c57efbaf17699144b627db1639800e90
