diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2019-03-07 11:18:18 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-03-07 11:18:18 +0100 |
| commit | eb4a6a8147ad268802f59a9a2273a39e3da4a35e (patch) | |
| tree | 9d1005aa1a10dc0184f3b0d6d2ccff6766229b24 /doc | |
| parent | 8f5d9b63914b0049bd202b87c4b89ff3d48ad0ad (diff) | |
| parent | 4eccb58bc57ac66f929192066b65282a56d46545 (diff) | |
Merge pull request #26737 from MidZik/rng-seed-fix
Fixed get_seed() not returning the correct seed.
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions