Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

0.15b4 #4614

Closed
wants to merge 9 commits into from
Closed

0.15b4 #4614

wants to merge 9 commits into from

Conversation

benjaoming
Copy link
Contributor

WARNING! Merging this, merges and closes all PRs contained in this PR, and they may have a separate review process and amendments following. So don't merge this PR!! :)

Taking over #4550 (0.15b3)

New release, manually brewing the distributions:

Known issues

  • None

Included PRs

Installer links

@MCGallaspy
Copy link
Contributor

Sorry, you'll have to make another once #4607 is merged in!

@benjaoming
Copy link
Contributor Author

I was wondering about just merging #4607 as is... can I just do that?

@MCGallaspy
Copy link
Contributor

Nope, there's an error.

@benjaoming benjaoming closed this Oct 12, 2015
@benjaoming benjaoming removed the has PR label Oct 12, 2015
@benjaoming benjaoming mentioned this pull request Oct 12, 2015
5 tasks
@benjaoming benjaoming deleted the beta4 branch October 6, 2016 13:46
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