Merge pull request #10486 from rssh/update-dotty-cps-async-2020-11-25

nicolasstucki · web-flow · commit ed826a78a7bb · 2020-11-25T17:11:14.000+01:00
Updated dotty-cps-async to the latest version
diff --git a/community-build/community-projects/dotty-cps-async b/community-build/community-projects/dotty-cps-async
@@ -1 +1 @@
-Subproject commit e1b0c43cd1b3a45d0bdf7f3e0ab3b96155bbd90f
+Subproject commit c436717f18122ef5300ee6846e8560733cffe867
