K 10 svn:author V 7 wollman K 8 svn:date V 27 1994-08-08T15:37:35.000000Z K 7 svn:log V 55 Suppress irritating extra newline after kern.boottime. END