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.14.b5 #4295

Closed
wants to merge 1 commit into from
Closed

0.14.b5 #4295

wants to merge 1 commit 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!! :)

New release, manually brewing the distributions:

Known issues

Please update this @aronasorman @MCGallaspy if there are known issues worth a mention that've been pushed to 0.15.

Debian/Ubuntu:

Included PRs

(none)

Installer links

@benjaoming benjaoming mentioned this pull request Aug 26, 2015
8 tasks
@MCGallaspy
Copy link
Contributor

Once the .debs are available on the PPA, I'll upload them to the pantry server.

@benjaoming
Copy link
Contributor Author

Closed, 0.14 has been released. The final release does not come with a PR like the pre-releases did, it was #4299 that merged the 0.14.x branch to master.

@benjaoming benjaoming closed this Aug 28, 2015
@benjaoming benjaoming removed the has PR label Aug 28, 2015
@benjaoming benjaoming deleted the beta5 branch September 28, 2015 13:50
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.

None yet

2 participants