diff options
author | Sree Kuchibhotla <sreecha@users.noreply.github.com> | 2017-09-29 13:06:43 -0400 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-09-29 13:06:43 -0400 |
commit | 1c9ef7c5ef8a42b5d02bdd55146d8346d87034b1 (patch) | |
tree | 5f4db398dbf1c1fe2247624f8d7ab7e0e94769b6 /etc | |
parent | 87997edd45e3e4de1f5ec09e79acc8d671a42a5a (diff) | |
parent | d5ded55d8930a2a2fe5f9cd6bc425ec50850792a (diff) |
Merge pull request #12663 from sreecha/debug-timers
Add a hash table in timer code (in debug builds only) to detect duplicate timers
Diffstat (limited to 'etc')
0 files changed, 0 insertions, 0 deletions