K 10
svn:author
V 6
dillon
K 8
svn:date
V 27
1998-08-26T05:27:42.000000Z
K 7
svn:log
V 139
    priority comparison in maybe_resched() didn't work properly if current
    and chk process were on different scheduler queues.  Fixed.

END