Skip to content

Conversation

dhardy
Copy link
Member

@dhardy dhardy commented Sep 22, 2018

I think we can go ahead and release this. The target date is Monday.

@dhardy dhardy mentioned this pull request Sep 22, 2018
28 tasks
@dhardy dhardy merged commit 317651c into rust-random:0.5 Sep 24, 2018
@dhardy dhardy deleted the 0.5 branch February 15, 2019 10:58
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