diff options
| author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2006-12-05T00·34+0000 |
|---|---|---|
| committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2006-12-05T00·34+0000 |
| commit | d27a73b1a95a911077947f39fab42c628c722c0e (patch) | |
| tree | cad870fa873b2d68869a71b54c22077558a3877c /aterm-gc.supp | |
| parent | 74033a844fe57e3e91c71ae37f9a65f6b2f22aa9 (diff) | |
* In addPermRoot, check that the root that we just registered can be
found by the garbage collector. This addresses NIX-71 and is a particular concern in multi-user stores.
Diffstat (limited to 'aterm-gc.supp')
0 files changed, 0 insertions, 0 deletions