Skip to content

Conversation

@ViktorHofer
Copy link
Member

UseCompilerGeneratedDocXmlFile already defaults to true. Remove the two hits to avoid confusion.

UseCompilerGeneratedDocXmlFile already defaults to
true. Remove the two hits to avoid confusion.
@ghost ghost added the needs-area-label An area label is needed to ensure this gets routed to the appropriate area owners label Jul 23, 2024
@dotnet-policy-service
Copy link
Contributor

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

@ViktorHofer ViktorHofer merged commit 367e064 into main Jul 24, 2024
@ViktorHofer ViktorHofer deleted the RemoveUnnecessaryProps branch July 24, 2024 13:38
@github-actions github-actions bot locked and limited conversation to collaborators Aug 24, 2024
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

area-Meta needs-area-label An area label is needed to ensure this gets routed to the appropriate area owners

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants