From 4f78f65424f4372adc943d2ffad5a28e4d2e72fb Mon Sep 17 00:00:00 2001 From: Miles Sabin Date: Sun, 26 Apr 2020 23:21:40 +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 fd589ad9472b..2e65410017fc 160000 --- a/community-build/community-projects/shapeless +++ b/community-build/community-projects/shapeless @@ -1 +1 @@ -Subproject commit fd589ad9472b3e544f644e2d1099c2fc38eafdb4 +Subproject commit 2e65410017fcec938ccf522ada2f347b783ea012