Skip to content

curl: fix --proxy-pinnedpubkey - #14438

Closed
jan2000 wants to merge 1 commit into
curl:masterfrom
jan2000:proxy-pinnedpubkey
Closed

jan2000 wants to merge 1 commit into
curl:masterfrom
jan2000:proxy-pinnedpubkey

Conversation

@jan2000

@jan2000 jan2000 commented Aug 7, 2024

Copy link
Copy Markdown
Contributor

This option was added in #2268 but never connected in tool_operate.c.

This option was added in curl#2268 but never connected in
tool_operate.c.
@bagder bagder closed this in 1e9c1e8 Aug 7, 2024
@bagder

bagder commented Aug 7, 2024

Copy link
Copy Markdown
Member

Thanks!

@jan2000
jan2000 deleted the proxy-pinnedpubkey branch August 13, 2024 19:24
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Development

Successfully merging this pull request may close these issues.

2 participants