Skip to content

Conversation

@odersky
Copy link
Contributor

@odersky odersky commented Jan 15, 2020

This fell through the cracks before.

@odersky odersky added the fasttrack Simple fix. Reviewer should merge or apply additional changes directly. label Jan 17, 2020
@anatoliykmetyuk anatoliykmetyuk merged commit 85751aa into scala:master Jan 17, 2020
@anatoliykmetyuk anatoliykmetyuk deleted the fix-#8005 branch January 17, 2020 10:29
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