K 10
svn:author
V 2
dg
K 8
svn:date
V 27
1994-10-23T06:18:13.000000Z
K 7
svn:log
V 123
Round down instead of up in 'kerninfo'/ctrl-T stats code. Incorrect output
can result otherwise.

Submitted by:	John Dyson

END