gh-135965: Delete duplicate word in isolating-extensions howto#135964
gh-135965: Delete duplicate word in isolating-extensions howto#135964terryjreedy merged 1 commit intopython:mainfrom
Conversation
|
Thanks @LamentXU123 for the PR, and @terryjreedy for merging it 🌮🎉.. I'm working now to backport this PR to: 3.13, 3.14. |
…ythonGH-135964) Change use use to use. (cherry picked from commit ffb2a02) Co-authored-by: Weilin Du <108666168+LamentXU123@users.noreply.github.com>
…ythonGH-135964) Change use use to use. (cherry picked from commit ffb2a02) Co-authored-by: Weilin Du <108666168+LamentXU123@users.noreply.github.com>
|
GH-135977 is a backport of this pull request to the 3.14 branch. |
|
GH-135978 is a backport of this pull request to the 3.13 branch. |
|
@StanFromIreland (Edit:) the issue should have been left open until the PRs were merged. There is a bot that checks for anomalies such as closed issues with open PRs as situations that need attention. I did not reopen since I just merged to main and set (successful) backports to automerge. |
…GH-135964) (#135977) gh-135965: Delete duplicate word in isolating-extensions howto (GH-135964) Change use use to use. (cherry picked from commit ffb2a02) Co-authored-by: Weilin Du <108666168+LamentXU123@users.noreply.github.com>
…GH-135964) (#135978) gh-135965: Delete duplicate word in isolating-extensions howto (GH-135964) Change use use to use. (cherry picked from commit ffb2a02) Co-authored-by: Weilin Du <108666168+LamentXU123@users.noreply.github.com>
|
@terryjreedy If you check the log, it was not me who closed it: I did not mention closing the existing issue in any comment of mine. |
My bad here. I close this issue caz I think there is no need of opening it for a typo.(as I saw your comment there) Sry for it. |
…ython#135964) Change use use to use.
…ython#135964) Change use use to use.
…ython#135964) Change use use to use.
…ython#135964) Change use use to use.

Change
use usetouse.📚 Documentation preview 📚: https://cpython-previews--135964.org.readthedocs.build/