Skip to content

Conversation

@ewdurbin
Copy link
Member

@ewdurbin ewdurbin commented Nov 5, 2024

core-dev membership is restored


📚 Documentation preview 📚: https://pep-previews--4106.org.readthedocs.build/

core-dev membership is restored
@ewdurbin ewdurbin requested a review from a team as a code owner November 5, 2024 13:34
@AA-Turner AA-Turner changed the title revert #3899 Revert gh-3899 Nov 5, 2024
@AA-Turner AA-Turner merged commit 388b181 into python:main Nov 5, 2024
4 checks passed
@ewdurbin ewdurbin deleted the revert_3899 branch November 5, 2024 13:38
gvanrossum pushed a commit to gvanrossum/peps that referenced this pull request Dec 10, 2024
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.

2 participants