Don't refer to DottyPredef in community build

odersky · odersky · commit 7c35990ad28e · 2020-11-22T17:33:58.000+01:00
diff --git a/community-build/community-projects/os-lib b/community-build/community-projects/os-lib
@@ -1 +1 @@
-Subproject commit dff1e85f4dd7452b5b3b42c76548cb294a3b81ce
+Subproject commit 9e7a4dd6c651ac0e1e9338f88c9c47eb07b17bd7
diff --git a/community-build/community-projects/sourcecode b/community-build/community-projects/sourcecode
@@ -1 +1 @@
-Subproject commit 10375294d6de6b49485dd2b7bacac3e007095c89
+Subproject commit 2c6fd1b77c950e3a526c1c1dee5aacb2509f1b55
diff --git a/community-build/community-projects/utest b/community-build/community-projects/utest
@@ -1 +1 @@
-Subproject commit 7662ed1dd428e641fdc3323a3521cecca28c388a
+Subproject commit 14f5e813237432ee06e7c1c4eb381d0f6206149f
