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

Merge main into live #9240

Merged
merged 1 commit into from
Aug 31, 2023
Merged

Merge main into live #9240

merged 1 commit into from
Aug 31, 2023

Conversation

ghost
Copy link

@ghost ghost commented Aug 31, 2023

Please don't squash-merge this PR.

…nfo.Name property (#9213)

* Updated FileInfo.xml with FileInfo.ToString() correction and clarification.

* Update FileInfo.xml, removing superfluous verbiage

The important note at the bottom is enough

* Update xml/System.IO/FileInfo.xml

* Update xml/System.IO/FileInfo.xml

---------

Co-authored-by: David Cantú <[email protected]>
Co-authored-by: Genevieve Warren <[email protected]>
@ghost
Copy link
Author

ghost commented Aug 31, 2023

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

Issue Details

Please don't squash-merge this PR.

Author: msftbot[bot]
Assignees: -
Labels:

area-System.IO

Milestone: -

@learn-build-service-prod
Copy link

Learn Build status updates of commit 819f780:

✅ Validation status: passed

File Status Preview URL Details
xml/System.IO/FileInfo.xml ✅Succeeded View

For more details, please refer to the build report.

For any questions, please:

@BillWagner BillWagner merged commit 083992f into live Aug 31, 2023
2 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants