Skip to content

Remove unnecessary indirection#8500

Merged
nicolasstucki merged 1 commit intoscala:masterfrom
dotty-staging:remove-unnecessary-indirection
Mar 11, 2020

Commits

Commits on Mar 11, 2020