From 1e71c2455b1596c1f8f3ef423356dc778eb2360d Mon Sep 17 00:00:00 2001 From: Ruslan Shevchenko Date: Mon, 24 Aug 2020 00:39:44 +0300 Subject: [PATCH] update dotty-cps-async from upstream --- 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 dde627372f55..b7ffc2981d90 160000 --- a/community-build/community-projects/dotty-cps-async +++ b/community-build/community-projects/dotty-cps-async @@ -1 +1 @@ -Subproject commit dde627372f5501a074505281edbb7bcd008d9fbc +Subproject commit b7ffc2981d90ee854bb0d51f0dda423b6f0f5c2a