Skip to content

fix: correct HTTP/1.1 parsing, framing and connection handling - #16282

Open
algebraic-dev wants to merge 3 commits into
masterfrom
sofia/protocol-fix
Open

algebraic-dev wants to merge 3 commits into
masterfrom
sofia/protocol-fix

Conversation

@algebraic-dev

Copy link
Copy Markdown
Member

This PR fixes HTTP/1.1 message parsing, framing and connection handling in the client and server, and a few small Std.Http API issues.

@algebraic-dev
algebraic-dev requested a review from TwoFX as a code owner November 5, 2026 14:02
@github-actions github-actions Bot added the toolchain-available A toolchain is available for this PR, at leanprover/lean4-pr-releases:pr-release-NNNN label Nov 5, 2026

This branch has not been deployed

No deployments
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

changelog-library Library toolchain-available A toolchain is available for this PR, at leanprover/lean4-pr-releases:pr-release-NNNN

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant