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

milessabin · web-flow · commit 0e30e1b0c5d3 · 2019-08-22T22:58:41.000+01:00
Update shapeless
diff --git a/community-build/community-projects/shapeless b/community-build/community-projects/shapeless
@@ -1 +1 @@
-Subproject commit 989092088539bc9b77b31c11b192ea0e5352e61a
+Subproject commit db44ffefbae117e165e3f8e7367ea8bda2ef17cc
