Backport "fix: revert d53c237aafe098d2bed56fd522c7271410ff9dfd" to LTS#19024

Merged

Kordyjan merged 1 commit intorelease-3.3.2from

Dec 8, 2023

Commits on Nov 29, 2023

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