Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Bump to 0.3.12 #83

Merged
merged 1 commit into from
Nov 9, 2015
Merged

Bump to 0.3.12 #83

merged 1 commit into from
Nov 9, 2015

Conversation

bvssvni
Copy link
Contributor

@bvssvni bvssvni commented Nov 9, 2015

See discussion #81 (comment)

@bvssvni bvssvni mentioned this pull request Nov 9, 2015
Closed
8 tasks
huonw added a commit that referenced this pull request Nov 9, 2015
@huonw
Merge pull request #83 from bvssvni/upd
d9bf94c 
Bump to 0.3.12
@huonw huonw merged commit d9bf94c into rust-random:master Nov 9, 2015
@bvssvni bvssvni deleted the upd branch November 9, 2015 15:55
vks pushed a commit to vks/rand that referenced this pull request Apr 9, 2018
@huonw
Merge pull request rust-random#83 from bvssvni/upd
987ef70 
Bump to 0.3.12
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
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
@bvssvni @huonw