[project @ 2002-04-09 12:56:36 by simonmar]
authorsimonmar <unknown>
Tue, 9 Apr 2002 12:56:36 +0000 (12:56 +0000)
committersimonmar <unknown>
Tue, 9 Apr 2002 12:56:36 +0000 (12:56 +0000)
If we free a StablePtr which has no StableName attached, then just
add its entry to the free list immediately, rather than waiting for
the garbage collector to free it.


No differences found