This PR should be closed as a duplicate of 44597 unless you'd prefer we cut-n-paste the entire content of that still open PR into this one... because the reasoning etc is all there. A ping on the status of that PR would have been more appropriate than opening a new one. Thanks, - Tim
Sorry, I didn't realize that that PR was still open. I thought the situation was fixed at one point, and was broken since then again by recent updates to mit-krb5. Next time I'll check first.
-- Jörn Clausen joern.clausen%uni-bielefeld.de@localhost Hochschulrechenzentrum http://www.uni-bielefeld.de/hrz/ Universität Bielefeld