Drop extension_ prefix for extension methods#10128
Merged
odersky merged 19 commits intoscala:masterfrom Nov 8, 2020
Commits
Commits on Nov 7, 2020
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
