Merge pull request #6354 from dotty-staging/upgrade/stdlib213

OlivierBlanvillain · web-flow · commit 72e51456a4b2 · 2019-04-24T11:41:28.000+02:00
community-build: Update stdLib213 to the latest scala/scala commit
diff --git a/community-build/community-projects/stdLib213 b/community-build/community-projects/stdLib213
@@ -1 +1 @@
-Subproject commit 4cd834f7e4bc48482c2d98c0d9dca3d022650237
+Subproject commit b7f2511439d14b298e26147ac7aaa02eedb91c25
