On Fri, Apr 23, 2004 at 10:49:11AM -0400, Camm Maguire wrote: > autobuild just failed, and apparently neither sarti nor paer are > reading my ssh key in the ldap anymore to let me log in. Any > suggestions? yeah - I need to build a new kernel for sarti and paer. :-( The build log makes it look like lisp issues, rather than necessarily acl2 issues. I should get a new kernel built today or tomorrow, after which logins will work again. dunno, lamont