Join GitHub today
GitHub is home to over 36 million developers working together to host and review code, manage projects, and build software together.Sign up
Some simple improvements to the RNG code #14624
This improves a few minor issues with the RNG code:
The following sections might be updated with supplementary metadata relevant to reviewers and maintainers.
Reviewers, this pull request conflicts with the following ones:
If you consider this pull request important, please also help to review the conflicting pull requests. Ideally, start with the one that should be merged first.
This was referenced
Oct 31, 2018
referenced this pull request
Nov 1, 2018
How did you trigger this? I've built with
Assuming a build with
In a follow-up change I was working on, which replaced more use sites of
Travis failed in an earlier version of this PR, in the Qt (!) unit tests.