Merge pull request #7631 from dotty-staging/standardize-community

liufengyun · web-flow · commit f1c701e4c140 · 2019-11-27T20:45:10.000+01:00
Standardize some community projects to use `dotty-community-build` branch
diff --git a/community-build/community-projects/os-lib b/community-build/community-projects/os-lib
@@ -1 +1 @@
-Subproject commit b29d68ffee5a6e0aedbfdd048d10059f250134e4
+Subproject commit 9cb5d0eb4bf20a5b4ef86a7bf55cc896719f887e
diff --git a/community-build/community-projects/utest b/community-build/community-projects/utest
@@ -1 +1 @@
-Subproject commit 4953683a23fe8f60f8f25f061a7b3095f8ddbeac
+Subproject commit 7eac23c8aad186c724ddaee4d00030fbacb8a969
