diff --git a/community-build/community-projects/dotty-cps-async b/community-build/community-projects/dotty-cps-async index 5637c2fe2c87..f7c9ecddead6 160000 --- a/community-build/community-projects/dotty-cps-async +++ b/community-build/community-projects/dotty-cps-async @@ -1 +1 @@ -Subproject commit 5637c2fe2c87520eab2f0629c0796a78e10e3929 +Subproject commit f7c9ecddead60c9b9e3b10d29ef54ea2117106a1