update dotty-cps-async to latest upstream

rssh · rssh · commit 3f4e144ecb9f · 2022-01-16T13:35:34.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 4724f902dfdad82ba9a02eea08fe01fe6d7a7c15
+Subproject commit b893454c4bbbcc25cb99c2db0ba5989f3e1d6478
