| commit | 8f372500f05dfadcff6c35e773e81029ab7debad | [log] [tgz] |
|---|---|---|
| author | Vinzent Steinberg <Vinzent.Steinberg@gmail.com> | Thu Jan 13 14:09:39 2022 +0100 |
| committer | GitHub <noreply@github.com> | Thu Jan 13 14:09:39 2022 +0100 |
| tree | dbc0656ef1fa36b8f168734b14875eed27ac0fce | |
| parent | 19404d68764ed08513131f82157e2ccad69dcf83 [diff] | |
| parent | 9ef737ba5b814f6ab36cebafb59ad29885d68a05 [diff] |
Merge pull request #1208 from newpavlov/rand_distr/fix_no_std rand_distr: fix no_std build