diff options
| author |  Gael Guennebaud <g.gael@free.fr> | 2012-06-08 17:29:02 +0200 |
|---|---|---|
| committer | Gael Guennebaud <g.gael@free.fr> | 2012-06-08 17:29:02 +0200 |
| commit | f2849fac20fd4ef756d5c86b3f1264491645d217 (patch) | |
| tree | 5ee5ca3b30445aaa582e9c09ba2a6c0623327f53 /doc | |
| parent | 28d0a8580e74cac5319e42afb4bf929e47f1c9e9 (diff) | |
Fix bug #466: race condition destected by helgrind in manage_caching_sizes.
After all, the solution based on threadprivate is not that costly.
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions