Skip to content

Rename Not to NotGiven to make its purpose clearer#10720

Merged
smarter merged 2 commits intoscala:masterfrom
dotty-staging:feature/rename-Not-to-NotGiven
Dec 9, 2020
Merged

Rename Not to NotGiven to make its purpose clearer#10720
smarter merged 2 commits intoscala:masterfrom
dotty-staging:feature/rename-Not-to-NotGiven

Commits

Commits on Dec 9, 2020