Skip to content

Fix #8585: Refresh names to avoid name clashes#8665

Merged
nicolasstucki merged 1 commit intoscala:masterfrom
dotty-staging:fix-#8585-2
Apr 5, 2020

Commits

Commits on Apr 4, 2020