Skip to content

Conversation

@odersky
Copy link
Contributor

@odersky odersky commented Jan 6, 2020

…tuted

@odersky odersky requested a review from abgruszecki January 6, 2020 12:01
@odersky odersky added the fasttrack Simple fix. Reviewer should merge or apply additional changes directly. label Jan 6, 2020
Copy link
Contributor

@abgruszecki abgruszecki left a comment

Choose a reason for hiding this comment

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

LGTM

@abgruszecki abgruszecki merged commit d6be581 into scala:master Jan 7, 2020
@abgruszecki abgruszecki deleted the fix-#7878 branch January 7, 2020 15:18
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