Merge pull request #14279 from rssh/dotty-cps-async-update-2022-01-16

nicolasstucki · web-flow · commit eed68205451e · 2022-01-17T10:39:08.000+01:00
update dotty-cps-async to latest upstream
diff --git a/community-build/community-projects/dotty-cps-async b/community-build/community-projects/dotty-cps-async
@@ -1 +1 @@
-Subproject commit 4724f902dfdad82ba9a02eea08fe01fe6d7a7c15
+Subproject commit b893454c4bbbcc25cb99c2db0ba5989f3e1d6478
