Thanks to visit codestin.com
Credit goes to github.com

Skip to content
Merged
Changes from 1 commit
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
Next Next commit
PEP 12: Eliminate unnecessary/redundant detail in Post-History instru…
…ctions

Co-authored-by: Jelle Zijlstra <[email protected]>
  • Loading branch information
CAM-Gerlach and JelleZijlstra authored Feb 25, 2022
commit 1e4984787081c1594709bbcee889cf70a65ca278
4 changes: 2 additions & 2 deletions pep-0012.rst
Original file line number Diff line number Diff line change
Expand Up @@ -130,8 +130,8 @@ directions below.
Post-History: `14-Aug-2001 <https://www.example.com/thread_1>`_,
`03-Sept-2001 <https://www.example.com/thread_2>`_

You must manually add new dates/links and commit them as soon as you post a
new discussion thread (with a pull request, if you don't have push rights).
You must manually add new dates/links as soon as you post a
new discussion thread.

- Add a Replaces header if your PEP obsoletes an earlier PEP. The
value of this header is the number of the PEP that your new PEP is
Expand Down