Skip to content

Correctly prettify names in coverage info#18542

Merged
sjrd merged 1 commit intoscala:mainfrom
dotty-staging:fix-coverage-info
Feb 7, 2024

Commits

Commits on Jan 4, 2024