PEP 742: Mark as Final (#3937)

Author: hugovk

peps/pep-0742.rst

@@ -2,7 +2,7 @@ PEP: 742
 Title: Narrowing types with TypeIs
 Author: Jelle Zijlstra <[email protected]>
 Discussions-To: https://discuss.python.org/t/pep-742-narrowing-types-with-typenarrower/45613
-Status: Accepted
+Status: Final
 Type: Standards Track
 Topic: Typing
 Created: 07-Feb-2024
@@ -11,6 +11,8 @@ Post-History: `11-Feb-2024 <https://discuss.python.org/t/pep-742-narrowing-types
 Replaces: 724
 Resolution: https://discuss.python.org/t/pep-742-narrowing-types-with-typeis/45613/35
 
+.. canonical-typing-spec:: :ref:`typing:typeis` and
+                           :external+py3.13:data:`typing.TypeIs`
 
 Abstract
 ========