Skip to content

update scala3 repository links#778

Merged
xuwei-k merged 1 commit intoscala:mainfrom
xuwei-k:dotty-to-scala3
Sep 14, 2025
Merged

update scala3 repository links#778
xuwei-k merged 1 commit intoscala:mainfrom
xuwei-k:dotty-to-scala3

Commits

Commits on Sep 14, 2025