Skip to content

PEP 788: Rename the PEP, per discussion#4493

Merged
AA-Turner merged 1 commit into
python:mainfrom
ZeroIntensity:rename-pep-788
Jul 11, 2025
Merged

PEP 788: Rename the PEP, per discussion#4493
AA-Turner merged 1 commit into
python:mainfrom
ZeroIntensity:rename-pep-788

Rename the PEP, per discussion.

ed57a5e
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

The logs for this run have expired and are no longer available.