krb5/krb5 — pull request #193 by greghudson (2014-08-18 23:05:51+00:00)
Title: Update mkvno after randkey

Here is a fix for #7994 and a test case.