if a redirect with a body is provided, we need to skip the body #2
hannes
commented 2024-11-05 10:00:39 +00:00
Owner
No description provided.
hannes
added 1 commit 2024-11-05 10:00:40 +00:00
if a redirect with a body is provided, we need to skip the body
bd6c9edff6
hannes
referenced this pull request from robur/opam-mirror 2024-11-05 10:07:17 +00:00
Use swapfs #16
hannes
added 1 commit 2024-11-05 11:26:21 +00:00
clarify how f and follow_redirect interact
0009c1eead
hannes
merged commit 3e9b38787c into main 2024-11-05 11:28:40 +00:00
hannes
deleted branch fixes 2024-11-05 11:28:41 +00:00
hannes
referenced this pull request from a commit 2024-11-05 11:28:42 +00:00
Merge pull request 'if a redirect with a body is provided, we need to skip the body' (!2) from fixes into main
Loading…
Reference in a new issue
No description provided.
Delete branch "fixes"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?