Skip to content

Fix #8015: update docs#8039

Merged
nicolasstucki merged 2 commits intoscala:masterfrom
dotty-staging:fix-8015
Jan 20, 2020
Merged

Fix #8015: update docs#8039
nicolasstucki merged 2 commits intoscala:masterfrom
dotty-staging:fix-8015

Commits

Commits on Jan 20, 2020