Skip to content

Conversation

@KDr2
Copy link
Member

@KDr2 KDr2 commented Dec 2, 2019

Ready to merge.

@KDr2 KDr2 changed the title [WIP] Update release packages of Julia Update release packages of Julia Dec 2, 2019
@KDr2 KDr2 requested a review from yebai December 2, 2019 04:46
@yebai yebai merged commit 2694f3c into master Dec 2, 2019
@delete-merged-branch delete-merged-branch bot deleted the update-julia-versions branch December 2, 2019 13:39
@yebai
Copy link
Member

yebai commented Dec 2, 2019

Thanks, @KDr2!

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