#include "krb5_locl.h"

RCSID("$Id$");