Skip to content

Upgrade cURL to v8.20.0#740

Merged
jviotti merged 1 commit intomainfrom
curl-8-20-0
Apr 29, 2026
Merged

Upgrade cURL to v8.20.0#740
jviotti merged 1 commit intomainfrom
curl-8-20-0

Conversation

@jviotti
Copy link
Copy Markdown
Member

@jviotti jviotti commented Apr 29, 2026

Signed-off-by: Juan Cruz Viotti jv@jviotti.com

@augmentcode
Copy link
Copy Markdown

augmentcode Bot commented Apr 29, 2026

This pull request is abnormally large and would use a significant amount of tokens to review. If you still wish to review it, comment "augment review" and we will review it.

Copy link
Copy Markdown

@cubic-dev-ai cubic-dev-ai Bot left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

No issues found across 254 files

Note: This PR contains a large number of files. cubic only reviews up to 75 files per PR, so some files may not have been reviewed. cubic prioritises the most important files to review.

Signed-off-by: Juan Cruz Viotti <jv@jviotti.com>
@jviotti jviotti merged commit 1c00b7f into main Apr 29, 2026
13 checks passed
@jviotti jviotti deleted the curl-8-20-0 branch April 29, 2026 14:42
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant