Synchronize sourcecode with dotty-community-build branch

smarter · smarter · commit f94d15a202ef · 2020-01-06T17:11:30.000+01:00
diff --git a/community-build/community-projects/sourcecode b/community-build/community-projects/sourcecode
@@ -1 +1 @@
-Subproject commit db11447fd045125b84a69832b2b6c5f9cd3290de
+Subproject commit 7177d370124ac09acf4c48555fe99aff977fc0ac
