Updated shapeless-3 submodule

milessabin · milessabin · commit 40c2cf93a8ef · 2019-07-10T17:20:47.000+01:00
diff --git a/community-build/community-projects/shapeless b/community-build/community-projects/shapeless
@@ -1 +1 @@
-Subproject commit cd0ac77740740f2e2c8e6fd12041b6936e9a2f35
+Subproject commit 8f35066b97fd177f6fa10391727043e98dcd0f05
