From 4e06cfa6a742c35c09c32b73a7588024993df13e Mon Sep 17 00:00:00 2001 From: Miles Sabin Date: Sat, 31 Oct 2020 19:12:04 +0000 Subject: [PATCH] Updated shapeless --- 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 69ffc1f316cb..fb336168a597 160000 --- a/community-build/community-projects/shapeless +++ b/community-build/community-projects/shapeless @@ -1 +1 @@ -Subproject commit 69ffc1f316cb3c2c5d85a346f04276dda930d242 +Subproject commit fb336168a597e159c4861434cf78d41bb76c630e