K 10 svn:author V 5 green K 8 svn:date V 27 2002-06-28T16:17:47.000000Z K 7 svn:log V 118 Fix a case where a vnode got explicitly unlocked after the pointer to it got set to NULL. Revision 1.355: in the box END