K 10 svn:author V 2 dg K 8 svn:date V 27 1995-09-12T06:17:26.000000Z K 7 svn:log V 87 Brought in changes from rev 1.25: include kernel.h instead of declaring extern int hz. END