Merge pull request scala#6835 from milessabin/topic/shapeless-update

milessabin · web-flow · commit 93758045c37c · 2019-07-10T17:48:07.000+01:00
Updated shapeless-3 submodule
diff --git a/community-build/community-projects/shapeless b/community-build/community-projects/shapeless
@@ -1 +1 @@
-Subproject commit cd0ac77740740f2e2c8e6fd12041b6936e9a2f35
+Subproject commit 8f35066b97fd177f6fa10391727043e98dcd0f05
