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

milessabin · web-flow · commit 345c8bc209fa · 2020-06-07T12:09:34.000+01:00
Update shapeless
diff --git a/community-build/community-projects/shapeless b/community-build/community-projects/shapeless
@@ -1 +1 @@
-Subproject commit 6eaf81d92743d24b5cf2fbae0ec2d59ef1e11414
+Subproject commit 44752eff286570e4cfc2a29f47557d2f09ef8489
