f7e97d8 krb5_child style fix

1 file Authored by simo 11 years ago, Committed by jhrozek 11 years ago,
    krb5_child style fix
    
    Use the standard 'done' label for exceptions.
    
        
file modified
+11 -11