[Russ Allbery]
> Well, I can ask the release team and see what they think.

Great.

I've tested, and I can divert away the non-working pam-configs/krb5
and replace it with our own.  This command work to move it away:

  dpkg-divert --package debian-edu-config --rename \
    --divert /usr/share/debian-edu-config/pam-config-krb5-orig \
    --add /usr/share/pam-configs/krb5

But it would be nice if we didn't have to do this.
-- 
Happy hacking
Petter Reinholdtsen



-- 
To UNSUBSCRIBE, email to [email protected]
with a subject of "unsubscribe". Trouble? Contact [email protected]

Reply via email to