commit | c4b9390a5d8466cb44bd27d415dc50da174b7d89 | [log] [tgz] |
---|---|---|
author | Diggory Hardy <dhardy@users.noreply.github.com> | Thu Aug 01 14:20:14 2019 +0100 |
committer | GitHub <noreply@github.com> | Thu Aug 01 14:20:14 2019 +0100 |
tree | f322f72481b0d308113265294e3d40a2eb5ca3e7 | |
parent | 8112daa755810e22651dda91e2e0cafecbceb338 [diff] | |
parent | 1b58378f0867a23bc825e176abfa22b7fda89da3 [diff] |
Merge pull request #853 from dhardy/core-0.4 rand_core 0.4.1 (backports)