Code

Harden curl output parsing#5984

Code

Merged

kit-ty-kate merged 3 commits intoocaml:masterocaml/opam:masterfrom dra27:harden-curl-parsingdra27/opam:harden-curl-parsingCopy head branch name to clipboardJun 7, 2024

+25-14

Commits

Commits on Jun 7, 2024

• Annotate curl options with when they were added

  Show description for 46d0980
  

  dra27

  authored and

  kit-ty-kate

  committed
  46d0980

  Copy full SHA for 46d0980

• OpamProcess: name the stderr output file have the .err extension when cmd_stdout is given

  kit-ty-kate

  committed
  57081ab

  Copy full SHA for 57081ab

• curl: separate output from stdout and stderr

  kit-ty-kate

  committed
  1e1fbb5

  Copy full SHA for 1e1fbb5