Rename PEP, fix headers

python · Oct 29, 2024 · 76dc942 · 76dc942
1 parent c058d0e
commit 76dc942
Showing 1 changed file with 2 additions and 4 deletions.
diff --git a/peps/pep-9995.rst → peps/pep-0764.rst b/peps/pep-9995.rst → peps/pep-0764.rst
@@ -1,14 +1,12 @@
-PEP: 9995
+PEP: 764
 Title: Inlined typed dictionaries
 Author: Victorien Plot <[email protected]>
-Discussions-To:
+Sponsor: Eric Traut <erictr at microsoft.com>
 Status: Draft
 Type: Standards Track
 Topic: Typing
 Created: 25-Oct-2024
-Post-History:
 Python-Version: 3.14
-Resolution:
 
 .. highlight:: python