Skip to content

DOCS: Add missing periods #75407

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

Merged
merged 2 commits into from
Jul 24, 2024
Merged

Conversation

amartini51
Copy link
Member

Fixes: rdar://131169795

@amartini51 amartini51 requested a review from ktoso as a code owner July 22, 2024 22:48
lamtrinhdev added a commit to lamtrinhdev/swift that referenced this pull request Jul 23, 2024
Dear @amartini51 ,

I would like to correct the missing periods. However, I found you have the PR for that file. Have you ever mind to Co-Worker on swiftlang#75407 for correct this file?

Thanks,
@lamtrinhdev
Copy link
Contributor

Dear @amartini51 ,

I would like to correct the missing periods. However, I found you have the PR for that file. Have you ever mind to Co-Worker on amartini51#1 for correct this file?

Thanks,
Lam

@ktoso
Copy link
Contributor

ktoso commented Jul 23, 2024

@swift-ci please smoke test

@ktoso
Copy link
Contributor

ktoso commented Jul 23, 2024

Thanks Alex, approved it

Co-authored-by: LamTrinh.Dev <[email protected]>
@amartini51
Copy link
Member Author

@swift-ci Please smoke test.

@lamtrinhdev
Copy link
Contributor

Dear @ktoso ,

Could you please help us to trigger @swift-ci again?

Thanks,
Lam

@ktoso
Copy link
Contributor

ktoso commented Jul 24, 2024

@swift-ci please smoke test Linux

@ktoso ktoso enabled auto-merge (squash) July 24, 2024 02:53
@ktoso
Copy link
Contributor

ktoso commented Jul 24, 2024

Done and enabled auto merge

@lamtrinhdev
Copy link
Contributor

Dear @ktoso ,

Thank you for your support.

Thanks,
Lam

@ktoso ktoso merged commit 736be73 into swiftlang:main Jul 24, 2024
3 checks passed
@amartini51 amartini51 deleted the withTaskGroup_131169795 branch July 24, 2024 16:37
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants