Skip to content

[v13] docs: fix curl usage#26411

Merged
stevenGravy merged 3 commits intobranch/v13from
bot/backport-26237-branch/v13
May 17, 2023
Merged

[v13] docs: fix curl usage#26411
stevenGravy merged 3 commits intobranch/v13from
bot/backport-26237-branch/v13

Conversation

@zmb3
Copy link
Copy Markdown
Collaborator

@zmb3 zmb3 commented May 16, 2023

Backport #26237 to branch/v13

zmb3 added 2 commits May 16, 2023 22:45
We now ship the .exe file directly, so the extract step is
no longer necessary.

Closes #26211
Use -o instead of -O.

Closes #26212
@stevenGravy stevenGravy enabled auto-merge May 17, 2023 14:36
@stevenGravy stevenGravy added this pull request to the merge queue May 17, 2023
Merged via the queue into branch/v13 with commit 13893c3 May 17, 2023
@stevenGravy stevenGravy deleted the bot/backport-26237-branch/v13 branch May 17, 2023 15:06
@r0mant r0mant mentioned this pull request Jul 14, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants