Synopsis: login_krb5 does not keep initial Kerberos ticket State-Changed-From-To: open->closed State-Changed-By: millert State-Changed-When: Sat Jan 10 09:46:42 MST 2004 State-Changed-Why: Previous behavior of auth_clean() wrt options has been restored so there is no need to modify login(1).