Hi Jonathon, Though it seems that I was able to produce an issue with krb5-admin-server during the dist-upgrade, upon further reflection, it doesn't quite match the symptoms that you saw.
Given that we don't know how to reproduce the particular symptoms you saw, I opened a different bug for the issue I could reproduce, and that we seem to have resolved the immediate issues you ran into, do you think there's a reason to keep this bug report open? If not, I will go ahead and close it, since there doesn't seem to be any action that the maintainer can take on it at the moment. Thanks, Ben -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]
