[krbdev.mit.edu #7690] git commit

[Benjamin Kaduk via RT]

Remove redundant domain_realm mappings

This fixes a long-standing documentation bug where we claimed that
a domain_realm mapping for a host name would not affect entries
under that domain name.  The code has always had the behavior where
a host name mapping implies the corresponding domain name mapping,
since the 1.0 release.

While here, replace media-lab with csail in example files, as the
media lab realm is no longer in use.  Also strip port 88 from KDC
specifications, and drop the harmful default_{tgs,tkt}_enctypes
lines from src/util/profile/krb5.conf.

Further cleanup on these files to remove defunct realms may be in order.

https://github.com/krb5/krb5/commit/8f5ce824012f2caab6770df464f096c38dc4cb2e
Author: Ben Kaduk <kaduk at mit.edu>
Commit: 8f5ce824012f2caab6770df464f096c38dc4cb2e
Branch: master
 doc/admin/conf_files/krb5_conf.rst        |   18 +++++++++++-------
 src/config-files/krb5.conf                |    4 +---
 src/util/profile/krb5.conf                |   19 +++++++------------
 src/windows/installer/wix/athena/krb5.ini |    3 ---
 4 files changed, 19 insertions(+), 25 deletions(-)