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

Bump version to v0.3.2 #1836

Closed
wants to merge 2 commits into from
Closed

Bump version to v0.3.2 #1836

wants to merge 2 commits into from

Conversation

paulhauner
Copy link
Member

Issue Addressed

NA

Proposed Changes

  • Bump version
  • Run cargo update

Additional Info

@paulhauner
Copy link
Member Author

bors r+

@paulhauner paulhauner added ready-for-merge This PR is ready to merge. and removed blocked labels Oct 28, 2020
@paulhauner
Copy link
Member Author

bors r-

@bors
Copy link

bors bot commented Oct 28, 2020

Canceled.

@paulhauner paulhauner mentioned this pull request Oct 28, 2020
Closed
@paulhauner
Copy link
Member Author

Restarting due to merge conflict with #1765

bors r+

@paulhauner
Copy link
Member Author

I'm just going to close this since it's already merged into #1765

@paulhauner paulhauner closed this Oct 28, 2020
@paulhauner paulhauner deleted the cut-v0.3.2 branch January 20, 2021 00:20
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
ready-for-merge This PR is ready to merge.
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
1 participant
@paulhauner