Merge pull request #9450 from dotty-staging/fix-#9444

nicolasstucki · web-flow · commit 29b54114d602 · 2020-07-28T12:53:25.000+02:00
Fix #9444: Rebase stdLib213 on scala/2.13x
diff --git a/community-build/community-projects/stdLib213 b/community-build/community-projects/stdLib213
@@ -1 +1 @@
-Subproject commit ab86d9e54457ec34da8fc37eb847d3f3f6477a1a
+Subproject commit f0a82ae836e0df41cd418580b1b708cc2ee745d3
