Skip to content

Conversation

encukou
Copy link
Member

@encukou encukou commented Aug 4, 2020

As pip now implements REQUESTED, the main reason to remove the file is gone,
so I'm adding it back as it is in PEP 376.
Possibly fixing the semantics is left to another PEP.

As pip now implements REQUESTED, the main reason to remove the file is gone,
so I'm adding it back as it is in PEP 376.
Possibly fixing the semantics is left to another PEP.
@encukou encukou merged commit 82a3d1f into python:master Aug 4, 2020
@encukou encukou deleted the pep-0627 branch August 4, 2020 14:28
AA-Turner pushed a commit to AA-Turner/peps that referenced this pull request Aug 15, 2020
As pip now implements REQUESTED, the main reason to remove the file is gone,
so I'm adding it back as it is in PEP 376.
Possibly fixing the semantics is left to another PEP.
mnm678 pushed a commit to mnm678/peps that referenced this pull request Oct 22, 2020
As pip now implements REQUESTED, the main reason to remove the file is gone,
so I'm adding it back as it is in PEP 376.
Possibly fixing the semantics is left to another PEP.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants