K 10
svn:author
V 4
eric
K 8
svn:date
V 27
1982-07-14T09:23:31.000000Z
K 24
svn:entry:committed-date
V 27
1982-07-14T09:23:31.000000Z
K 7
svn:log
V 104
don't accidently unlink a null pointer in finis(); change the way
it decides whether to do the unlink.


END
