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

milessabin · web-flow · commit 3633b247ab20 · 2019-07-26T10:17:28.000+01:00
Updated shapeless
diff --git a/community-build/community-projects/shapeless b/community-build/community-projects/shapeless
@@ -1 +1 @@
-Subproject commit a402710b8898266fc7beb396fa38b7a3320f8831
+Subproject commit e3694cb8469880865684840f63771b7ba42976d6
