Update inlinr givens in shapeless

nicolasstucki · nicolasstucki · commit f96ced391456 · 2021-02-04T15:32:43.000+01:00
diff --git a/community-build/community-projects/shapeless b/community-build/community-projects/shapeless
@@ -1 +1 @@
-Subproject commit 3058735a54a23df67246ecce5b09f6a6cd3dfaec
+Subproject commit 56bcb5246bca8099d12fa54379ece6fb440657ec
