Thanks, these have been pushed.

On 08/10/2017 11:24 AM, Orion Poplawski wrote:
> So looks like we still need:
> krb5-server
> krb5-server-ldap
> krb5-devel
> krb5-pkinit

-- 
Bonnie King