Fix given syntax in community build

odersky · odersky · commit 56277546fe86 · 2020-02-11T11:48:43.000+01:00
diff --git a/community-build/community-projects/intent b/community-build/community-projects/intent
@@ -1 +1 @@
-Subproject commit a633d402fc99a843715be831257c774d3b3e3f06
+Subproject commit eaa3717289691ea9a63e57554090d2d1a4af47c9
diff --git a/community-build/community-projects/shapeless b/community-build/community-projects/shapeless
@@ -1 +1 @@
-Subproject commit 5e2cb09252b48f177775a92a4eb5bef10a1e5523
+Subproject commit 7a8434147de29cf539d82fb8ac5c649fa50c5c23
diff --git a/community-build/community-projects/utest b/community-build/community-projects/utest
@@ -1 +1 @@
-Subproject commit 0f6c2b1ca37af7cc87bc49f2f5107aafc66f4add
+Subproject commit e3a528df6f71e424d8341c9e6bdf7231f5dc5e5b
