Skip to content

Conversation

@hugovk
Copy link
Member

@hugovk hugovk commented Nov 7, 2025

Follow on from #2552, remove some more outdated PEPs stuff.

@hugovk hugovk added the app/peps Relates to the peps app label Nov 21, 2025
@JacobCoffee JacobCoffee enabled auto-merge (squash) November 25, 2025 19:42
@JacobCoffee JacobCoffee merged commit e36232d into python:main Nov 25, 2025
3 checks passed
@hugovk hugovk deleted the rm-peps branch November 25, 2025 19:45
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

app/peps Relates to the peps app

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants