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

milessabin · web-flow · commit d61769d4d3b1 · 2019-10-14T15:12:47.000+01:00
Bump shapeless version
diff --git a/community-build/community-projects/shapeless b/community-build/community-projects/shapeless
@@ -1 +1 @@
-Subproject commit b2bfc9e3c1078590e130bcfcd09f4ac2d49452e3
+Subproject commit 00797ac36c26a88b7a67b7b0bfcc922fed0da313
