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

milessabin · web-flow · commit 85ab20fd8749 · 2020-04-10T15:37:01.000+01:00
Updated shapeless
diff --git a/community-build/community-projects/shapeless b/community-build/community-projects/shapeless
@@ -1 +1 @@
-Subproject commit 76bc2db211c44a73ff8e2fb5768deeb2d3c49ffc
+Subproject commit 3338570166b7d3d857ca9e6086a7f0137ce86097
