diff --git a/peps/pep-0742.rst b/peps/pep-0742.rst index c01845b9548..c86d6574b0c 100644 --- a/peps/pep-0742.rst +++ b/peps/pep-0742.rst @@ -2,7 +2,7 @@ PEP: 742 Title: Narrowing types with TypeIs Author: Jelle Zijlstra 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