Skip to content

Conversation

Girgias
Copy link
Member

@Girgias Girgias commented Apr 10, 2023

Minor drive-by refactoring to use the new API

Minor drive-by refactoring to use the new API
@Girgias Girgias merged commit ad99798 into php:master Apr 11, 2023
@Girgias Girgias deleted the curl-protocol-insensitive branch April 11, 2023 10:45
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.

2 participants