From f1acbdfd9e864f8d28d27f1b4227c68179f91a22 Mon Sep 17 00:00:00 2001 From: Miles Sabin Date: Mon, 14 Oct 2019 13:59:49 +0100 Subject: [PATCH] Bump 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 b2bfc9e3c107..00797ac36c26 160000 --- a/community-build/community-projects/shapeless +++ b/community-build/community-projects/shapeless @@ -1 +1 @@ -Subproject commit b2bfc9e3c1078590e130bcfcd09f4ac2d49452e3 +Subproject commit 00797ac36c26a88b7a67b7b0bfcc922fed0da313