diff options
author | Josh Soref <2119212+jsoref@users.noreply.github.com> | 2021-07-16 02:59:08 -0400 |
---|---|---|
committer | Jay Satiro <raysatiro@yahoo.com> | 2021-07-20 02:01:33 -0400 |
commit | 26ba98807f9fcdc6eb0b7a3c6b6e28e05cb854f2 (patch) | |
tree | f00e772cbe8f09f4b306b31bb224db6ee85d5a10 /docs/cmdline-opts | |
parent | 4ccb5e84d569433410cb25f975f53d409b183ffb (diff) | |
download | curl-26ba98807f9fcdc6eb0b7a3c6b6e28e05cb854f2.tar.gz |
delegation.d: mention what happens when used multiple times
Closes https://github.com/curl/curl/pull/7408
Diffstat (limited to 'docs/cmdline-opts')
-rw-r--r-- | docs/cmdline-opts/delegation.d | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/docs/cmdline-opts/delegation.d b/docs/cmdline-opts/delegation.d index fa2795f96..41fa9408c 100644 --- a/docs/cmdline-opts/delegation.d +++ b/docs/cmdline-opts/delegation.d @@ -15,3 +15,5 @@ service ticket, which is a matter of realm policy. .IP "always" Unconditionally allow the server to delegate. .RE + +If this option is used several times, the last one will be used. |