[krbdev.mit.edu #8821] git commit

[Greg Hudson via RT]

Tue Jul 23 17:40:37 2019: Request 8821 was acted upon.
 Transaction: Ticket created by ghudson at mit.edu
       Queue: krb5
     Subject: git commit
       Owner: ghudson at mit.edu
  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.

[ghudson at mit.edu: corrected and shortened documentation; rewrote
commit message]

https://github.com/krb5/krb5/commit/5105a91c9dc3210e242dff156b861e77aa80959a
Author: Michael Mattioli <mmattioli at users.noreply.github.com>
Committer: Greg Hudson <ghudson at mit.edu>
Commit: 5105a91c9dc3210e242dff156b861e77aa80959a
Branch: master
 doc/admin/conf_files/krb5_conf.rst |   16 +++++-----------
 1 files changed, 5 insertions(+), 11 deletions(-)