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

milessabin · web-flow · commit f168498e18a0 · 2019-09-29T16:26:52.000+01:00
Update shapeless
diff --git a/community-build/community-projects/shapeless b/community-build/community-projects/shapeless
@@ -1 +1 @@
-Subproject commit 8b417eb810236cacb0f15cf0bbd2d7f819415cf4
+Subproject commit 330ec05edcdd16b377df24311c4c4cd5b959bd73
