List Members, not Initial Members

Co-authored-by: Hugo van Kemenade <hugovk@users.noreply.github.com>
gvanrossum · Nov 21, 2023 · f025892 · f025892
1 parent 209f621
commit f025892
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/peps/pep-0731.rst b/peps/pep-0731.rst
@@ -93,10 +93,10 @@ and publishing guidelines that the core developers can refer to.
 The "operations and process" section below describes
 how the working group operates and how it is governed.
 
-Initial Members
----------------
+Members
+-------
 
-The initial members of the working group are:
+The members of the working group are:
 
 - Guido van Rossum
 - Petr Viktorin