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

gh-130160: use option instead of cmdoption in dis.rst #130255

Merged
merged 1 commit into from
Feb 18, 2025

Conversation

sobolevn
Copy link
Member

@sobolevn sobolevn commented Feb 18, 2025

@sobolevn sobolevn merged commit 97d0011 into python:main Feb 18, 2025
35 checks passed
@miss-islington-app
Copy link

Thanks @sobolevn for the PR 🌮🎉.. I'm working now to backport this PR to: 3.12, 3.13.
🐍🍒⛏🤖

@miss-islington-app
Copy link

Sorry, @sobolevn, I could not cleanly backport this to 3.13 due to a conflict.
Please backport using cherry_picker on command line.

cherry_picker 97d0011e7ec0c8222de46ce581b8bac3cc7dddda 3.13

@miss-islington-app
Copy link

Sorry, @sobolevn, I could not cleanly backport this to 3.12 due to a conflict.
Please backport using cherry_picker on command line.

cherry_picker 97d0011e7ec0c8222de46ce581b8bac3cc7dddda 3.12

sobolevn added a commit to sobolevn/cpython that referenced this pull request Feb 18, 2025
…st` (pythonGH-130255)

(cherry picked from commit 97d0011)

Co-authored-by: sobolevn <[email protected]>
@bedevere-app
Copy link

bedevere-app bot commented Feb 18, 2025

GH-130264 is a backport of this pull request to the 3.13 branch.

@bedevere-app bedevere-app bot removed the needs backport to 3.13 bugs and security fixes label Feb 18, 2025
sobolevn added a commit to sobolevn/cpython that referenced this pull request Feb 18, 2025
sobolevn added a commit that referenced this pull request Feb 18, 2025
@bedevere-app
Copy link

bedevere-app bot commented Feb 18, 2025

GH-130265 is a backport of this pull request to the 3.12 branch.

@bedevere-app bedevere-app bot removed the needs backport to 3.12 bug and security fixes label Feb 18, 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.

2 participants