Synchronize sourcecode with dotty-community-build branch

smarter · smarter · commit 55487135ec6a · 2020-01-07T15:50:39.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
