Skip to content

Work around https://github.com/lampepfl/dotty/issues/19237#425

Merged
sjrd merged 1 commit intoscalacenter:mainfrom sjrd:work-around-upstream-package-paramDec 18, 2023

Commits

Commits on Dec 18, 2023