Skip to content

@publicInBinary override spec change#19296

Merged
nicolasstucki merged 1 commit intoscala:mainfrom
dotty-staging:binaryAPI-override-spec-change
Dec 19, 2023
Merged

`@publicInBinary` override spec change#19296
nicolasstucki merged 1 commit intoscala:mainfrom
dotty-staging:binaryAPI-override-spec-change

Commits

Commits on Dec 19, 2023