K 10
svn:author
V 3
phk
K 8
svn:date
V 27
2002-02-24T19:56:41.000000Z
K 7
svn:log
V 160
Fix a typo (?) in previous commit told ttyprintf() to print the integer
part of the user-time as a 64bit quantity.  This resulted in weird
output from SIGINFO.

END