diff --git a/pep-0512.txt b/pep-0512.txt
index d204e639c..4c184c6d1 100644
--- a/pep-0512.txt
+++ b/pep-0512.txt
@@ -283,6 +283,10 @@ names and merge them into ``Misc/ACKS`` with all of the names listed
 prior to the move to Git. Running this script will become part of the
 release process.
 
+The script should also generate a list of all people who contributed
+since the last execution. This will allow having a list of those who
+contributed to a specific release so they can be explicitly thanked.
+
 Linking pull requests to issues
 '''''''''''''''''''''''''''''''
 Historically, external contributions were attached to an issue on
@@ -513,13 +517,6 @@ developers. This work doesn't even necessarily require GitHub
 integration as long as the committer field in all git commits is
 filled in properly.
 
-Generate a list of contributors for a list
-''''''''''''''''''''''''''''''''''''''''''
-Thanks to Git tracking the author of a change separately from the
-committer, it will be possible to generate a list of contributors to
-every release so that we can publicly thank everyone who contributed
-to a specific release.
-
 
 Status
 ======