Skip to content

Revert "Compensate loss of transitivity"#21356

Merged
EugeneFlesselle merged 2 commits intoscala:mainfrom dotty-staging:revert-ranking-splitAug 9, 2024

Commits

Commits on Aug 9, 2024