From 2f8150925301f52bb6b8f5860c6843057ef112d2 Mon Sep 17 00:00:00 2001 From: Miles Sabin Date: Sun, 15 Mar 2020 20:58:05 +0000 Subject: [PATCH] Bumped shapeless version --- community-build/community-projects/shapeless | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/community-build/community-projects/shapeless b/community-build/community-projects/shapeless index df2e15a0282c..4bdaa7c70c95 160000 --- a/community-build/community-projects/shapeless +++ b/community-build/community-projects/shapeless @@ -1 +1 @@ -Subproject commit df2e15a0282c1de6adf21ff5a8c5fec041b9ecdd +Subproject commit 4bdaa7c70c950cb92f6ce030fc70b1b82919dd4f