Skip to content

Conversation

pitdicker
Copy link
Contributor

@pitdicker pitdicker commented Jun 15, 2018

Not sure how to do this... Should I make a PR or a direct push?

It includes the missing pieces in deprecated.rs from #508 in the merge commit.

At least nice to get a clean bill from the CI.

Edit: the 0.5 branch was successful on Travis.

@dhardy dhardy merged commit 605bf30 into rust-random:master Jun 16, 2018
@pitdicker pitdicker deleted the merge_0.5 branch June 22, 2018 06:21
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.

2 participants