fix: revert d53c237aafe098d2bed56fd522c7271410ff9dfd#18001

Merged

nicolasstucki merged 1 commit intoscala:mainfrom

ckipp01:concurrentBuildRevert

Jun 19, 2023

Commits on Jun 19, 2023

fix: revert https://github.com/lampepfl/dotty/pull/17915/commits/d53c237aafe098d2bed56fd522c7271410ff9dfd
ckipp01
committed