[krbdev.mit.edu #8607] git commit

[Greg Hudson via RT]

Add --pid-file option to kpropd

https://github.com/krb5/krb5/commit/99f631ac5f7dfb6a9a9c77b2ce46c8fb3e8943cf
Author: Greg Hudson <ghudson at mit.edu>
Commit: 99f631ac5f7dfb6a9a9c77b2ce46c8fb3e8943cf
Branch: master
 doc/admin/admin_commands/kpropd.rst |    5 ++++
 src/slave/kpropd.c                  |   36 +++++++++++++++++++++++++++++++++-
 2 files changed, 39 insertions(+), 2 deletions(-)