K 10 svn:author V 2 dg K 8 svn:date V 27 1995-07-22T04:41:47.000000Z K 7 svn:log V 109 Brought in one small bug fix from the main branch: swap_pager_copy() must not return without doing its work. END