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

nicolasstucki · web-flow · commit 4b396220ac9e · 2020-06-10T16:15:21.000+02:00
Update shapeless
diff --git a/community-build/community-projects/shapeless b/community-build/community-projects/shapeless
@@ -1 +1 @@
-Subproject commit 6341f38b67bda8da258f678706de98e68d5762dd
+Subproject commit 730d9effe80ab86bc73873c4f31fc057f8d20496
