components/krb5/krb5.license
changeset 7804 d4f2d5f40cf9
parent 6085 eb3c11e27709