[Heimdal-source-changes] [heimdal/heimdal] 8ee86d: Add enforce_ok_as_delegate setting

[Roland C. Dowdeswell]

  Branch: refs/heads/master
  Home:   https://github.com/heimdal/heimdal
  Commit: 8ee86db261ebbc523660c6c456fc805d4b2064be
      https://github.com/heimdal/heimdal/commit/8ee86db261ebbc523660c6c456fc805d4b2064be
  Author: Roland C. Dowdeswell <roland.dowdeswell at twosigma.com>
  Date:   2019-11-20 (Wed, 20 Nov 2019)

  Changed paths:
    M lib/gssapi/krb5/init_sec_context.c
    M lib/krb5/context.c
    M lib/krb5/krb5.conf.5
    M lib/krb5/krb5_locl.h

  Log Message:
  -----------
  Add enforce_ok_as_delegate setting

If this flag is set to true, then GSSAPI credential delegation will
be disabled when the "ok-as-delegate" flag is not set in the service
ticket.