From c82179d3113c33c75e33440aa99a761c5097a1a2 Mon Sep 17 00:00:00 2001 From: Miles Sabin Date: Wed, 10 Jun 2020 09:45:59 +0100 Subject: [PATCH] Update 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 6341f38b67bd..730d9effe80a 160000 --- a/community-build/community-projects/shapeless +++ b/community-build/community-projects/shapeless @@ -1 +1 @@ -Subproject commit 6341f38b67bda8da258f678706de98e68d5762dd +Subproject commit 730d9effe80ab86bc73873c4f31fc057f8d20496