Skip to content

Rename scala.quoted.Reporting to report#9380

Merged
nicolasstucki merged 1 commit intoscala:masterfrom
dotty-staging:rename-Reporing-to-report
Jul 17, 2020

Commits

Commits on Jul 17, 2020