Skip to content

Conversation

@piru
Copy link

@piru piru commented Jul 19, 2023

  • a variable was renamed, and some use of it wasn't. this fixes the build.

- a variable was renamed, and some use of it wasn't. this fixes the
  build.
@bagder bagder closed this in 51ccc78 Jul 19, 2023
@bagder
Copy link
Member

bagder commented Jul 19, 2023

Thanks!

bch pushed a commit to bch/curl that referenced this pull request Jul 19, 2023
- a variable was renamed, and some use of it wasn't. this fixes the
  build.

Closes curl#11468
ptitSeb pushed a commit to wasix-org/curl that referenced this pull request Sep 25, 2023
- a variable was renamed, and some use of it wasn't. this fixes the
  build.

Closes curl#11468
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Development

Successfully merging this pull request may close these issues.

2 participants