Skip to content

Conversation

@odersky
Copy link
Contributor

@odersky odersky commented Jan 8, 2020

No description provided.

@odersky odersky requested a review from nicolasstucki January 8, 2020 10:41
@odersky odersky added the fasttrack Simple fix. Reviewer should merge or apply additional changes directly. label Jan 8, 2020
@nicolasstucki nicolasstucki merged commit 1513fa3 into scala:master Jan 8, 2020
@nicolasstucki nicolasstucki deleted the fix-#7863 branch January 8, 2020 13:57
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

fasttrack Simple fix. Reviewer should merge or apply additional changes directly.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants