Merge pull request #171641 from raboof/rename-dotty-scala_3
dotty: rename to scala_3
authored by Arnout Engelen and committed by GitHub 3 years ago b27f78f5 f1615971