Skip to content

Conversation

nicolasstucki
Copy link
Contributor

No description provided.

@nicolasstucki nicolasstucki marked this pull request as ready for review July 9, 2019 15:40
@nicolasstucki nicolasstucki requested a review from odersky July 9, 2019 15:40
@odersky odersky assigned nicolasstucki and unassigned odersky Jul 22, 2019
@nicolasstucki nicolasstucki merged commit d0d43f8 into scala:master Jul 22, 2019
@nicolasstucki nicolasstucki deleted the fix-#6828 branch July 22, 2019 12:58
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants