Skip to content

Conversation

@eed3si9n
Copy link
Member

@eed3si9n eed3si9n commented Jul 9, 2019

@lrytz lrytz merged commit 73b3d16 into scala:master Jul 10, 2019
@eed3si9n eed3si9n deleted the wip/adoptopenjdk branch July 10, 2019 14:44
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