Skip to content

Commit 3c02d0c

Browse files
Merge pull request #10342 from dotty-staging/use-Tree.of
Use Term.of in community-build
2 parents 01dcb22 + 6726674 commit 3c02d0c

File tree

7 files changed

+7
-7
lines changed

7 files changed

+7
-7
lines changed

0 commit comments

Comments
 (0)