Merge pull request #12307 from rssh/dotty-cps-async-update-2021-05-02

nicolasstucki · web-flow · commit 2318a81760c8 · 2021-05-03T09:09:37.000+02:00
update dotty-cps-async from upstream
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
