diff options
| author | Wladimir J. van der Laan <laanwj@gmail.com> | 2014-06-26 17:10:52 +0200 |
|---|---|---|
| committer | Wladimir J. van der Laan <laanwj@gmail.com> | 2014-06-26 17:11:53 +0200 |
| commit | eacff4a9c629e0c28e34b0f8ced790d2f7ded302 (patch) | |
| tree | ce0385207588af22df3b0f0f82b22613996f165d /src/util.h | |
| parent | ffb32acfab33a58c32e0249a22dd56e39c82d417 (diff) | |
| parent | 8ae973c00cfb02161bb2c2a6c839e510cd409278 (diff) | |
Merge pull request #4392
8ae973c Allocate more space if necessary in RandSeedAddPerfMon (Wladimir J. van der Laan)
be873f6 Issue warning if collecting RandSeed data failed (Wladimir J. van der Laan)
fcb0a1b change "char pch[200000]" to "new char[200000]" (daniel)
Diffstat (limited to 'src/util.h')
0 files changed, 0 insertions, 0 deletions