Skip to content

Use Term.of in community-build#10342

Merged
nicolasstucki merged 1 commit intoscala:masterfrom
dotty-staging:use-Tree.of
Nov 17, 2020
Merged

Use Term.of in community-build#10342
nicolasstucki merged 1 commit intoscala:masterfrom
dotty-staging:use-Tree.of

Commits

Commits on Nov 16, 2020