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

milessabin · web-flow · commit adc44da4bfd5 · 2020-03-15T21:48:30.000Z
Bumped shapeless version
diff --git a/community-build/community-projects/shapeless b/community-build/community-projects/shapeless
@@ -1 +1 @@
-Subproject commit df2e15a0282c1de6adf21ff5a8c5fec041b9ecdd
+Subproject commit 4bdaa7c70c950cb92f6ce030fc70b1b82919dd4f
