Skip to content

Conversation

dwijnand
Copy link
Member

.. as of #4738.

Copy link
Member

@dottybot dottybot left a comment

Choose a reason for hiding this comment

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

Hello, and thank you for opening this PR! 🎉

All contributors have signed the CLA, thank you! ❤️

Have an awesome day! ☀️

@Blaisorblade Blaisorblade merged commit dc13596 into scala:master Aug 10, 2018
@dwijnand dwijnand deleted the patch-1 branch August 10, 2018 20:00
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