Skip to content

Conversation

@musm
Copy link
Contributor

@musm musm commented Jan 31, 2019

Please squash

@SimonDanisch SimonDanisch merged commit 67b53f1 into JuliaLang:master Feb 1, 2019
@SimonDanisch
Copy link
Collaborator

woops ;) already decided to merge before reading your comment^^

@musm musm deleted the patch-1 branch February 1, 2019 12:49
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.

2 participants