David Greenman 75d8591e04 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
1995-08-06 11:55:25 +00:00
..
1995-05-30 08:16:23 +00:00
1995-05-30 08:16:23 +00:00
1995-07-29 18:21:48 +00:00
1995-05-30 05:05:38 +00:00