diff options
| author | Martin Hořeňovský | 2023-12-10 21:37:12 +0100 |
|---|---|---|
| committer | Martin Hořeňovský | 2023-12-10 21:37:12 +0100 |
| commit | b7d70ddcd609a798048f055cf8f5b6803ac06e52 (patch) | |
| tree | 75f8d672977915efe8fa5334dc9bf9529d1874b0 /tools/scripts/extractFeaturesFromReleaseNotes.py | |
| parent | a6f22c51699b78116cac54a4ac95bbed710efbd4 (diff) | |
| download | catch3-b7d70ddcd609a798048f055cf8f5b6803ac06e52.tar.gz | |
Ensure we always read 32 bit seed from std::random_device
Diffstat (limited to 'tools/scripts/extractFeaturesFromReleaseNotes.py')
0 files changed, 0 insertions, 0 deletions