@publicInBinary
override spec change#19296
Merged
nicolasstucki merged 1 commit intoscala:mainfrom dotty-staging:binaryAPI-override-spec-changeDec 19, 2023
+26-11
@publicInBinary
override spec change#19296