PEP 728: Incorporate feedback since last revision#4380

Merged

JelleZijlstra merged 3 commits intopython:mainfrom

Apr 22, 2025

Commits on Apr 18, 2025

PEP 728: Incorporate discussions since last revision
PIG208
committed

Commits on Apr 19, 2025

Address follow-ups
PIG208
committed

Commits on Apr 20, 2025

Address feedback from Andrej
PIG208
committed