Skip to content

Conversation

nicolasstucki
Copy link
Contributor

Closes #16960

@nicolasstucki nicolasstucki added the needs-minor-release This PR cannot be merged until the next minor release label Feb 20, 2023
@nicolasstucki nicolasstucki added this to the 3.4.0 milestone Feb 20, 2023
@nicolasstucki nicolasstucki marked this pull request as ready for review February 21, 2023 08:19
Copy link
Member

@smarter smarter left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Should this be marked as draft so we don't accidentally merge it?

@nicolasstucki nicolasstucki marked this pull request as draft March 1, 2023 07:11
@nicolasstucki nicolasstucki marked this pull request as ready for review July 31, 2023 14:57
@nicolasstucki nicolasstucki requested a review from smarter July 31, 2023 14:57
@smarter smarter merged commit 46fc22b into scala:main Jul 31, 2023
@smarter smarter deleted the fix-16960 branch July 31, 2023 15:19
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

needs-minor-release This PR cannot be merged until the next minor release

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Macro API Quotes#DefDefMethods is missing tpt

2 participants