Skip to content

Comments

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

Conversation

@smarter
Copy link
Member

@smarter smarter commented Dec 9, 2020

therealcisse and others added 2 commits December 9, 2020 11:53
- Use new Scala 3 syntax uniformly
- Don't use a low priority trait since it's a complication not needed
  for the example
@smarter smarter mentioned this pull request Dec 9, 2020
@smarter smarter added the release-notes Should be mentioned in the release notes label Dec 9, 2020
@smarter smarter merged commit d8a1451 into scala:master Dec 9, 2020
@smarter smarter deleted the feature/rename-Not-to-NotGiven branch December 9, 2020 13:41
@Kordyjan Kordyjan added this to the 3.0.0 milestone Aug 2, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

release-notes Should be mentioned in the release notes

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants