From 1025cff85c3a02adcc60f92b0043329192d6a11b Mon Sep 17 00:00:00 2001 From: Ruslan Shevchenko Date: Wed, 25 Nov 2020 12:28:48 +0200 Subject: [PATCH] Updated dotty-cps-async to the latest version --- 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 e1b0c43cd1b3..c436717f1812 160000 --- a/community-build/community-projects/dotty-cps-async +++ b/community-build/community-projects/dotty-cps-async @@ -1 +1 @@ -Subproject commit e1b0c43cd1b3a45d0bdf7f3e0ab3b96155bbd90f +Subproject commit c436717f18122ef5300ee6846e8560733cffe867