Skip to content

bpo-46272: Fix two heading comments in python.gram#30499

Merged
miss-islington merged 1 commit into
python:mainfrom
mdickinson:fix-grammar-headings
Jan 9, 2022
Merged

bpo-46272: Fix two heading comments in python.gram#30499
miss-islington merged 1 commit into
python:mainfrom
mdickinson:fix-grammar-headings

Conversation

@mdickinson

@mdickinson mdickinson commented Jan 9, 2022

Copy link
Copy Markdown
Member

One typo fix and one heading change, both in comments. No functional changes.

https://bugs.python.org/issue46272

Automerge-Triggered-By: GH:pablogsal

@pablogsal pablogsal left a comment

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thanks @mdickinson !

@pablogsal

Copy link
Copy Markdown
Member

I'm backporting since the comments appear in the grammar docs.

@miss-islington
miss-islington merged commit 1bee9a4 into python:main Jan 9, 2022
@miss-islington

Copy link
Copy Markdown
Contributor

Thanks @mdickinson for the PR 🌮🎉.. I'm working now to backport this PR to: 3.10.
🐍🍒⛏🤖

@miss-islington

Copy link
Copy Markdown
Contributor

Sorry, @mdickinson, I could not cleanly backport this to 3.10 due to a conflict.
Please backport using cherry_picker on command line.
cherry_picker 1bee9a4625e101d3308831de37590f4e2f57c71c 3.10

@miss-islington miss-islington self-assigned this Jan 9, 2022
@mdickinson

mdickinson commented Jan 9, 2022

Copy link
Copy Markdown
Member Author

@pablogsal said:

I'm backporting since the comments appear in the grammar docs.

But @miss-islington said:

Sorry, @mdickinson, I could not cleanly backport this to 3.10 due to a conflict.

Looks like the 3.10 version of the file doesn't have the section headings (GH-27502 wasn't backported), so there's nothing to do here.

@mdickinson
mdickinson deleted the fix-grammar-headings branch January 9, 2022 17:28
@ZeroIntensity ZeroIntensity removed the needs backport to 3.10 only security fixes label Feb 17, 2025
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.

6 participants