K 10 svn:author V 5 markm K 8 svn:date V 27 2001-02-14T19:50:42.000000Z K 7 svn:log V 93 Previous commit should have read: Fix "make world" for those folks building world with KRB5 END