6d7b0bfd17
Allow default_ccache_name as an alias for default_cc_name in krb5.conf, for MIT compatibility (#355)
Allow default_ccache_name as an alias for default_cc_name in krb5.conf, for MIT compatibility (#355)