Comment 7 for bug 1357566

and actually, I just now realized that I successfully ran do-release-upgrade 12.04 to 14.04 on a couple of other machines that also run openssh-server and have libkrb5-3 , with no problems, so my machine with this same bug may have a different issue.