Skip to content

Conversation

@hugovk
Copy link
Member

@hugovk hugovk commented Jan 23, 2023

Update PEP 13 with the results of the latest steering council election: PEP 8104.

@hugovk hugovk requested a review from a team as a code owner January 23, 2023 15:42
@warsaw warsaw merged commit b4a610b into python:main Jan 23, 2023
@hugovk hugovk deleted the pep13-update-sc branch January 23, 2023 21:33
JelleZijlstra pushed a commit to JelleZijlstra/peps that referenced this pull request Jan 24, 2023
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