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

milessabin · web-flow · commit 0314ab0beecf · 2019-08-27T13:19:59.000+01:00
Update shapeless
diff --git a/community-build/community-projects/shapeless b/community-build/community-projects/shapeless
@@ -1 +1 @@
-Subproject commit db44ffefbae117e165e3f8e7367ea8bda2ef17cc
+Subproject commit c9e2a3d39db9ecfc792c91de65ce1b2c722a95c8
