Skip to content

Make it possible to always set the prefix of denotations#11330

Merged
smarter merged 1 commit intoscala:masterfrom
dotty-staging:reuseSymDenotations
Feb 7, 2021

Commits

Commits on Feb 6, 2021