Update krb5-mini #118

Closed
lnussel wants to merge 1 commits from lnussel:update_krb5-mini into main