Skip to content

Conversation

@RussKie
Copy link
Contributor

@RussKie RussKie commented Jun 19, 2023

Fix xml-doc. Addendum to #85444.

Not sure how I missed that initially. 🤦‍♂️

@ghost ghost assigned RussKie Jun 19, 2023
@ghost
Copy link

ghost commented Jun 19, 2023

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

Issue Details

Fix xml-doc. Addendum to #85444.

Not sure how I missed that initially. 🤦‍♂️

Author: RussKie
Assignees: RussKie
Labels:

area-System.Diagnostics

Milestone: -

@stephentoub stephentoub merged commit 815953a into main Jun 19, 2023
@stephentoub stephentoub deleted the RussKie-patch-1 branch June 19, 2023 03:58
@ghost ghost locked as resolved and limited conversation to collaborators Jul 19, 2023
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants