Some performance related changes#16566
Merged
odersky merged 28 commits intoscala:mainfrom Jan 20, 2023
Commits
Commits on Jan 20, 2023
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed