K 10
svn:author
V 2
dg
K 8
svn:date
V 27
1995-10-22T09:37:45.000000Z
K 7
svn:log
V 95
Fix order problem: unbusy pages before releasing the buffer.

Submitted by:	John Dyson <dyson>

END