Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

docs: document that curl_url_cleanup(NULL) is a safe no-op #11150

Closed
wants to merge 1 commit into from
Closed

docs: document that curl_url_cleanup(NULL) is a safe no-op #11150

wants to merge 1 commit into from

Conversation

emanuele6
Copy link
Contributor

This has always been the case, but it was not documented.

The paragraph was copied verbatim from curl_easy_cleanup.3

@emanuele6
docs: document that curl_url_cleanup(NULL) is a safe no-op
ac9af0f 
This has always been the case, but it was not documented.

The paragraph was copied verbatim from curl_easy_cleanup.3
@bagder bagder closed this in fbe23b5 May 19, 2023
@bagder
Copy link
Member

bagder commented May 19, 2023

Thanks!

@emanuele6 emanuele6 deleted the doccleanup branch May 19, 2023 17:23
bch pushed a commit to bch/curl that referenced this pull request Jul 19, 2023
@emanuele6 @bch
docs: document that curl_url_cleanup(NULL) is a safe no-op
e6a82ea 
This has always been the case, but it was not documented.

The paragraph was copied verbatim from curl_easy_cleanup.3

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

@bagder bagder bagder approved these changes

Assignees
No one assigned
Labels
documentation URL
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

None yet
2 participants
@emanuele6 @bagder