Skip to content

Various changes#101

Merged
bors[bot] merged 4 commits intomainfrom
various
Jan 12, 2022
Merged

Various changes#101
bors[bot] merged 4 commits intomainfrom
various

Conversation

@lfrancke
Copy link
Copy Markdown
Member

Description

  • README update
  • Dependency updates
  • Remove unused dependencies
  • Graceful shutdown
  • Rustdoc fixes

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

- README update
- Dependency updates
- Remove unused dependencies
- Graceful shutdown
- Rustdoc fixes
@lfrancke lfrancke self-assigned this Jan 11, 2022
@lfrancke lfrancke marked this pull request as ready for review January 12, 2022 16:06
@lfrancke
Copy link
Copy Markdown
Member Author

bors merge

@bors
Copy link
Copy Markdown
Contributor

bors bot commented Jan 12, 2022

@bors bors bot merged commit 3eb8036 into main Jan 12, 2022
@bors bors bot deleted the various branch January 12, 2022 16:11
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.

1 participant