update dotty-cps-async from upstream

rssh · rssh · commit be05f450974c · 2021-05-02T07:25:43.000+03:00
diff --git a/community-build/community-projects/dotty-cps-async b/community-build/community-projects/dotty-cps-async
@@ -1 +1 @@
-Subproject commit 614dc4a30557bf7d282387d0c7efcdb59d97d76b
+Subproject commit 4724f902dfdad82ba9a02eea08fe01fe6d7a7c15
