K 10
svn:author
V 3
jkh
K 8
svn:date
V 27
1994-11-06T01:19:48.000000Z
K 7
svn:log
V 92
Don't strip kernel after all - perhaps a bad idea.  People may be stuck
with it for awhile.

END