Repository navigation

PEP 842: Address feedback from first discussion round - #5069

Merged

ZeroIntensity merged 6 commits into

python:mainfrom

ZeroIntensity:pep-842/discussion-feedback-1

Aug 1, 2026

Commits on Aug 1, 2026
- PEP 842: Address feedback from first discussion round
  ZeroIntensity
  committed
  59fd3d4
- Fix build errors.
  ZeroIntensity
  committed
  d751a47
- Fix typo.
  ZeroIntensity
  committed
  14583c8
- Merge branch 'main' into pep-842/discussion-feedback-1
  ZeroIntensity
  authored
  454d77b
- One more minor change.
  ZeroIntensity
  committed
  32c8bcc
- Merge branch 'pep-842/discussion-feedback-1' of https://github.com/zerointensity/peps into pep-842/discussion-feedback-1
  ZeroIntensity
  committed
  da2da7a