8000 [3.13] gh-135965: Delete duplicate word in isolating-extensions howto (GH-135964) by miss-islington · Pull Request #135978 · python/cpython · GitHub
[go: up one dir, main page]

Skip to content

[3.13] gh-135965: Delete duplicate word in isolating-extensions howto (GH-135964) #135978

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 1 commit into from
Jun 26, 2025

Conversation

miss-islington
Copy link
Contributor
@miss-islington miss-islington commented Jun 26, 2025

Change use use to use.
(cherry picked from commit ffb2a02)

Co-authored-by: Weilin Du 108666168+LamentXU123@users.noreply.github.com


📚 Documentation preview 📚: https://cpython-previews--135978.org.readthedocs.build/

…ythonGH-135964)

Change use use to use.
(cherry picked from commit ffb2a02)

Co-authored-by: Weilin Du <108666168+LamentXU123@users.noreply.github.com>
@bedevere-app bedevere-app bot added awaiting review docs Documentation in the Doc dir skip news labels Jun 26, 2025
@github-project-automation github-project-automation bot moved this to Todo in Docs PRs Jun 26, 2025
@terryjreedy terryjreedy enabled auto-merge (squash) June 26, 2025 11:42
@terryjreedy terryjreedy merged commit 3789d8d into python:3.13 Jun 26, 2025
27 of 28 checks passed
@github-project-automation github-project-automation bot moved this from Todo to Done in Docs PRs Jun 26, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
docs Documentation in the Doc dir skip news
Projects
Status: Done
Development

Successfully merging this pull request may close these issues.

3 participants
0