Switch to new extension syntax in dotty-cps-async (3)

nicolasstucki · nicolasstucki · commit 739af7a8618f · 2020-08-17T13:44:35.000+02:00
diff --git a/community-build/community-projects/dotty-cps-async b/community-build/community-projects/dotty-cps-async
@@ -1 +1 @@
-Subproject commit d57a46adbdf0e5a4eec9e57ad8ffbf3ad724b267
+Subproject commit dde627372f5501a074505281edbb7bcd008d9fbc
