Merge pull request #7639 from dotty-staging/standardize-sourcecode-community

liufengyun · web-flow · commit 4ba37104ff23 · 2019-11-29T11:38:11.000+01:00
Standardize Sourcecode to use `dotty-community-build` branch
diff --git a/community-build/community-projects/sourcecode b/community-build/community-projects/sourcecode
@@ -1 +1 @@
-Subproject commit 49c20bd80cb61a53c0b11e80b9946bbe513a4c0f
+Subproject commit db11447fd045125b84a69832b2b6c5f9cd3290de
