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

Fixed xml-doc comments in OptionsServiceCollectionExtensions.AddOptionsWithValidateOnStart #94385

Merged
merged 1 commit into from
Nov 5, 2023

Conversation

gfoidl
Copy link
Member

@gfoidl gfoidl commented Nov 5, 2023

In the xml-doc comments the wrong return-type was specified.
Most likely this was a copy & paste fault.


Is there a PR needed for dotnet-api-docs project or does the change flow over there?
(I could create that PR to update a and b)

@ghost ghost added the community-contribution Indicates that the PR has been added by a community member label Nov 5, 2023
@ghost
Copy link

ghost commented Nov 5, 2023

Tagging subscribers to this area: @dotnet/area-extensions-options
See info in area-owners.md if you want to be subscribed.

Issue Details

In the xml-doc comments the wrong return-type was specified.
Most likely this was a copy & paste fault.


Is there a PR needed for dotnet-api-docs project or does the change flow over there?
(I could create that PR to update a and b)

Author: gfoidl
Assignees: -
Labels:

area-Extensions-Options, community-contribution

Milestone: -

@tarekgh
Copy link
Member

tarekgh commented Nov 5, 2023

Is there a PR needed for dotnet-api-docs project or does the change flow over there?
(I could create that PR to update a and b)

We would appreciate it if you could open a PR in the dotnet-api-docs repo.

@gfoidl
Copy link
Member Author

gfoidl commented Nov 5, 2023

--> dotnet/dotnet-api-docs#9431

@ghost ghost locked as resolved and limited conversation to collaborators Dec 6, 2023
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
area-Extensions-Options community-contribution Indicates that the PR has been added by a community member
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants