[krbdev.mit.edu #8821] git commit

Tue Jul 23 17:40:37 2019: Request 8821 was acted upon.
 Transaction: Ticket created by [email protected]
       Queue: krb5
     Subject: git commit
       Owner: [email protected]
  Requestors: 
      Status: new
 Ticket <URL: https://krbdev.mit.edu/rt/Ticket/Display.html?id=8821 >



Correct documentation of final profiles

The documentation for krb5.conf explaining final values is incorrect.
Only sections and subsections may usefully be marked as final, and
final designations only apply to later files, not to the same file.

[[email protected]: corrected and shortened documentation; rewrote
commit message]

https://github.com/krb5/krb5/commit/5105a91c9dc3210e242dff156b861e77aa80959a
Author: Michael Mattioli <[email protected]>
Committer: Greg Hudson <[email protected]>
Commit: 5105a91c9dc3210e242dff156b861e77aa80959a
Branch: master
 doc/admin/conf_files/krb5_conf.rst |   16 +++++-----------
 1 files changed, 5 insertions(+), 11 deletions(-)