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.

Sign up for GitHub

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

Jump to bottom

version bump for 0.3.19 release #272

Merged
merged 2 commits into from
Dec 31, 2019
Merged

version bump for 0.3.19 release #272

merged 2 commits into from
Dec 31, 2019

Conversation

RalfJung
Copy link
Collaborator

I also used the opportunity for a cargo update

jethrogb
jethrogb reviewed Dec 31, 2019
View reviewed changes
CHANGELOG.md Outdated Show resolved Hide resolved
bors bot added a commit that referenced this pull request Dec 31, 2019
@bors @RalfJung
Merge #272
4ae9bd4 
272: version bump for 0.3.19 release r=jethrogb a=RalfJung

I also used the opportunity for a `cargo update`

Co-authored-by: Ralf Jung <post@ralfj.de>
@bors
Copy link
Contributor

bors bot commented Dec 31, 2019

Build failed

@RalfJung
Copy link
Collaborator Author

I'll back out the cargo update, that breaks testing with the old nightly... (maybe it's time to drop that test or so)

@RalfJung
Copy link
Collaborator Author

RalfJung commented Dec 31, 2019 •
edited
Loading

bors r=jethrogb

bors bot added a commit that referenced this pull request Dec 31, 2019
@bors @RalfJung
Merge #272
5984b8d 
272: version bump for 0.3.19 release r=jethrogb a=RalfJung

I also used the opportunity for a `cargo update`

Co-authored-by: Ralf Jung <post@ralfj.de>
@bors
Copy link
Contributor

bors bot commented Dec 31, 2019

Build succeeded

And happy new year from bors! 🎉

@bors bors bot merged commit 795db6b into japaric:master Dec 31, 2019
@RalfJung RalfJung deleted the release branch December 31, 2019 13:16
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@jethrogb jethrogb jethrogb left review comments

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

None yet
2 participants
@RalfJung @jethrogb