[Python-Dev] Deprecating the formatter module

[Chris Angelico]

On Wed, Aug 14, 2013 at 6:42 PM, Nick Coghlan <ncoghlan at gmail.com> wrote:
> That would be PEP 4 :)

What's the normal way to update a PEP?

""""... proposals for deprecating modules MUST be made by providing a
    change to the text of this PEP, which SHOULD be a patch posted to
    SourceForge..."""

Would that now be more accurately done as a Mercurial patch, or a tracker issue?

ChrisA