Improve documentation usability by turning some PEP numbers into PUG links#12434

Merged

pradyunsg merged 3 commits intopypa:mainfrom jeanas:pep-refs

Dec 20, 2023

Commits on Dec 13, 2023

Improve documentation usability by turning some PEP numbers into PUG links
jeanas
committed

Commits on Dec 14, 2023

Add a news entry
jeanas
committed

Commits on Dec 17, 2023

Use intersphinx
jeanas
authored