Skip to content

Fix #8778: Clarify comment in provablyDisjoint#9073

Merged
odersky merged 1 commit intoscala:masterfrom
dotty-staging:fix-8778
May 29, 2020

Commits

Commits on May 29, 2020