Merge proposals

krb5-sync in Ubuntu has no merge proposals.