Skip to content

Fix response.url annotation.#1940

Merged
lovelydinosaur merged 1 commit intomasterfrom
response-url-annotation
Nov 16, 2021
Merged

Fix response.url annotation.#1940
lovelydinosaur merged 1 commit intomasterfrom
response-url-annotation

Conversation

@lovelydinosaur
Copy link
Contributor

The response.url property is now correctly annotated as URL, instead of Optional[URL].

Closes #1928

@lovelydinosaur lovelydinosaur merged commit 4882e98 into master Nov 16, 2021
@lovelydinosaur lovelydinosaur deleted the response-url-annotation branch November 16, 2021 11:47
@lovelydinosaur lovelydinosaur mentioned this pull request Nov 16, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Response.url is somewhere listed as optional and elsewhere not

1 participant