Skip to content

Conversation

@paulhauner
Copy link
Member

Issue Addressed

NA

Proposed Changes

  • Bump versions to v1.0.5
  • Run cargo update

Additional Info

NA

@paulhauner
Copy link
Member Author

Merging without review since the changes are trivial and most people are on holidays.

bors r+

@paulhauner paulhauner added the ready-for-merge This PR is ready to merge. label Dec 23, 2020
bors bot pushed a commit that referenced this pull request Dec 23, 2020
## Issue Addressed

NA

## Proposed Changes

- Bump versions to `v1.0.5`
- Run `cargo update`

## Additional Info

NA
@bors
Copy link

bors bot commented Dec 23, 2020

@bors bors bot changed the title Version v1.0.5 [Merged by Bors] - Version v1.0.5 Dec 23, 2020
@bors bors bot closed this Dec 23, 2020
@paulhauner paulhauner deleted the cut-v1.0.5 branch January 20, 2021 00:20
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

ready-for-merge This PR is ready to merge.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants