Skip to content

Remove outdated re-sugaring#10111

Merged
nicolasstucki merged 1 commit intoscala:masterfrom
dotty-staging:remove-outdated-re-sugaring
Oct 28, 2020
Merged

Remove outdated re-sugaring#10111
nicolasstucki merged 1 commit intoscala:masterfrom
dotty-staging:remove-outdated-re-sugaring

Commits

Commits on Oct 28, 2020