diff --git a/community-build/community-projects/dotty-cps-async b/community-build/community-projects/dotty-cps-async index 0e023dd2395c..a9777a7b1b2e 160000 --- a/community-build/community-projects/dotty-cps-async +++ b/community-build/community-projects/dotty-cps-async @@ -1 +1 @@ -Subproject commit 0e023dd2395cb9521c34a11e21541bbc30839074 +Subproject commit a9777a7b1b2e04c4ac51e7b763244f69fcd91837