Tom Yu Thu, 15 Sep 2016 15:09:22 -0700
fixed 480517 krb5/1.11.1+dfsg-1 thanks Upstream fixed this as part of the documentation consolidation in release krb5-1.11.