From 0cd2e90f350d2f98af37fad80441c1ad74d15776 Mon Sep 17 00:00:00 2001 From: Miles Sabin Date: Fri, 9 Aug 2019 13:23:12 +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 5f1e418a1bf0..989092088539 160000 --- a/community-build/community-projects/shapeless +++ b/community-build/community-projects/shapeless @@ -1 +1 @@ -Subproject commit 5f1e418a1bf09f873a2ca954cee876c8ecae8907 +Subproject commit 989092088539bc9b77b31c11b192ea0e5352e61a