From 9d8d06225d6d4e90c0c132ce5f3e29426dad02ba Mon Sep 17 00:00:00 2001 From: Nicolas Stucki Date: Fri, 6 Nov 2020 09:29:52 +0100 Subject: [PATCH] Partially update dotty-cps-async --- community-build/community-projects/dotty-cps-async | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/community-build/community-projects/dotty-cps-async b/community-build/community-projects/dotty-cps-async index 35ee6fd9cc08..b10a1c62e2be 160000 --- a/community-build/community-projects/dotty-cps-async +++ b/community-build/community-projects/dotty-cps-async @@ -1 +1 @@ -Subproject commit 35ee6fd9cc08bcae435a21ca704e6897e2dc2cf8 +Subproject commit b10a1c62e2bee465975aa47a1358b4fd33cdebc7