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

odersky · odersky · commit ce9717b36fed · 2020-08-17T10:37:49.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 e62d8a1c798bf669304166227121d991210b1e4d
+Subproject commit d57a46adbdf0e5a4eec9e57ad8ffbf3ad724b267
