Skip to content
This repository was archived by the owner on Jan 24, 2022. It is now read-only.

Bump rand dependency to 0.7 #211

Merged
merged 1 commit into from
Nov 1, 2019
Merged

Bump rand dependency to 0.7 #211

merged 1 commit into from
Nov 1, 2019

Conversation

therealprof
Copy link
Contributor

Signed-off-by: Daniel Egger daniel@eggers-club.de

@therealprof therealprof requested a review from a team as a code owner November 1, 2019 17:16
@rust-highfive
Copy link

r? @korken89

(rust_highfive has picked a reviewer for you, use r? to override)

Signed-off-by: Daniel Egger <daniel@eggers-club.de>
@therealprof
Copy link
Contributor Author

Both #195 and #196 are missing different tiny details, so third time is a charm. ;)

Copy link
Contributor

@korken89 korken89 left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

bors r+

bors bot added a commit that referenced this pull request Nov 1, 2019
211: Bump rand dependency to 0.7 r=korken89 a=therealprof

Signed-off-by: Daniel Egger <daniel@eggers-club.de>

Co-authored-by: Daniel Egger <daniel@eggers-club.de>
@bors
Copy link
Contributor

bors bot commented Nov 1, 2019

Build succeeded

@bors bors bot merged commit 4c30129 into master Nov 1, 2019
@bors bors bot deleted the bump-rand branch November 1, 2019 20:31
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants