I discussed this with the team; ahasenack suggests that we should add that include line to src:kerberos-configs, which is the package that provides krb5.conf.
I discussed this with the team; ahasenack suggests that we should add that include line to src:kerberos- configs, which is the package that provides krb5.conf.