Skip to content
This repository was archived by the owner on Feb 16, 2024. It is now read-only.

[Merged by Bors] - Release 0.5.0#118

Closed
sbernauer wants to merge 1 commit intomainfrom
release-0.5.0
Closed

[Merged by Bors] - Release 0.5.0#118
sbernauer wants to merge 1 commit intomainfrom
release-0.5.0

Conversation

@sbernauer
Copy link
Member

@sbernauer sbernauer commented Sep 14, 2022

Review Checklist

  • Code contains useful comments
  • (Integration-)Test cases added (or not applicable)
  • Documentation added (or not applicable)
  • Changelog updated (or not applicable)
  • Cargo.toml only contains references to git tags (not specific commits or branches)

Once the review is done, comment bors r+ (or bors merge) to merge. Further information

@sbernauer
Copy link
Member Author

sbernauer commented Sep 14, 2022

bors r+

bors bot pushed a commit that referenced this pull request Sep 14, 2022
@sbernauer
Release 0.5.0 (#118)
a968ab5
@bors
Copy link

bors bot commented Sep 14, 2022

Pull request successfully merged into main.

Build succeeded:

@bors bors bot changed the title Release 0.5.0 [Merged by Bors] - Release 0.5.0 Sep 14, 2022
@bors bors bot closed this Sep 14, 2022
@bors bors bot deleted the release-0.5.0 branch September 14, 2022 12:12
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Reviewers

1 more reviewer

@fhennig fhennig fhennig approved these changes

Reviewers whose approvals may not affect merge requirements

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

2 participants

@sbernauer @fhennig