commit | 2bb13765608b98b09bfe663f3c2123a71e6dc696 | [log] [tgz] |
---|---|---|
author | Piotr Nowicki <56911018+piotr-now@users.noreply.github.com> | Wed Aug 12 15:09:05 2020 +0200 |
committer | GitHub <noreply@github.com> | Wed Aug 12 15:09:05 2020 +0200 |
tree | 76aae647e2bde8808aed1d7651caeeabbfa8c031 | |
parent | fa635dfaa1699133ac4c3599908f3ae5c12c7fff [diff] | |
parent | 26c33692b0acae11ab260277713d5fabf950e658 [diff] |
Merge pull request #3537 from piotr-now/platform_random Expanded the random number generator in the `platform_util.c` file