From 3f4e144ecb9fa244e6796d012c3047806f8e6176 Mon Sep 17 00:00:00 2001 From: Ruslan Shevchenko Date: Sun, 16 Jan 2022 13:35:34 +0200 Subject: [PATCH] update dotty-cps-async to latest 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 4724f902dfda..b893454c4bbb 160000 --- a/community-build/community-projects/dotty-cps-async +++ b/community-build/community-projects/dotty-cps-async @@ -1 +1 @@ -Subproject commit 4724f902dfdad82ba9a02eea08fe01fe6d7a7c15 +Subproject commit b893454c4bbbcc25cb99c2db0ba5989f3e1d6478