K 10
svn:author
V 2
dg
K 8
svn:date
V 27
1995-08-06T11:55:25.000000Z
K 7
svn:log
V 189
Fixed bug where vnode_pager_uncache() wasn't always called when it should
be. The result was that the file's space wouldn't be properly freed when
it was deleted.

Submitted by:	John Dyson

END