Join GitHub today
GitHub is home to over 36 million developers working together to host and review code, manage projects, and build software together.Sign up
docs: Fix types and missing property in WebRequest APIs #17046
Description of Change
I found that some types in
I'm not sure but the CI failure seems not related to change of this PR.