From 33f40712848f4ba3bca9135f7bec97a17fa02720 Mon Sep 17 00:00:00 2001 From: Miles Sabin Date: Mon, 13 Apr 2020 23:29:00 +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 3338570166b7..fd589ad9472b 160000 --- a/community-build/community-projects/shapeless +++ b/community-build/community-projects/shapeless @@ -1 +1 @@ -Subproject commit 3338570166b7d3d857ca9e6086a7f0137ce86097 +Subproject commit fd589ad9472b3e544f644e2d1099c2fc38eafdb4