Merge pull request #9477 from neheb/rng
authorRosen Penev <rosenp@gmail.com>
Sun, 28 Jul 2019 22:23:24 +0000 (15:23 -0700)
committerGitHub <noreply@github.com>
Sun, 28 Jul 2019 22:23:24 +0000 (15:23 -0700)
commitd88e28e71c3c425754bda377bbe71c8c248e7315
tree34848c28e3536ead312a5353889aee3463188b6e
parentec2cbce0315866d95af238c844946b4455dbaaec
parent8a07af3af3811545ee33eb236ec1f1db8b379d25
Merge pull request #9477 from neheb/rng

rng-tools: Update to 6.7