Skip to content

Rename mut to update#23335

Merged
odersky merged 2 commits intoscala:mainfrom
dotty-staging:mut-to-update
Jun 10, 2025
Merged

Rename `mut` to `update`#23335
odersky merged 2 commits intoscala:mainfrom
dotty-staging:mut-to-update

Commits

Commits on Jun 9, 2025

Commits on Jun 10, 2025