| commit | 9f1efffdcdbd96925665c14476422f24364b7514 | [log] [tgz] |
|---|---|---|
| author | Diggory Hardy <dhardy@users.noreply.github.com> | Fri Sep 13 17:10:13 2019 +0200 |
| committer | GitHub <noreply@github.com> | Fri Sep 13 17:10:13 2019 +0200 |
| tree | bc975bf9a1dc7ec6df53936706c33411ce2c2800 | |
| parent | 4152392a35c1f48ec4d3261850bd2728b7849a15 [diff] | |
| parent | 54d5d7378ba83fcbaaf706cd5bde06b9ef70004e [diff] |
Merge pull request #887 from dhardy/master Prepare rand 0.7.1