diff options
author | MarcoFalke <falke.marco@gmail.com> | 2018-08-02 10:22:47 -0400 |
---|---|---|
committer | MarcoFalke <falke.marco@gmail.com> | 2018-08-02 10:22:51 -0400 |
commit | 1ef57a96b8b7255bd1f1ea0583846f18305419bf (patch) | |
tree | 0d436a1be40fdaf26a7f01318c209befc13825d8 /src/random.h | |
parent | 489b51b08e9053961747884039f56eea7f39d958 (diff) | |
parent | d5f745a5c76ad5fbcc9a20fe128806e39de52a2c (diff) |
Merge #13255: trivial: Fixed typos and cleaned up language
d5f745a5c7 trivial: correct typos (Varunram)
3be70ba400 trivial: Fixed typos and cleaned up language (William Robinson)
Pull request description:
This rebases and fixes some of the outstanding nits in #13010. Let either merge quickly or close for now.
Tree-SHA512: 4cc1a5f854f2d6a19332334e2608a19e2be6b97dc09114c8186237ea77ee4b62372ebf6841a61cca548cedb47f0e6f11d4c0aba51a71949cd5aff8cef88204d6
Diffstat (limited to 'src/random.h')
0 files changed, 0 insertions, 0 deletions