How to amend an existing DIP?

[Mike Parker]

On Friday, 1 March 2019 at 17:24:16 UTC, Victor Porton wrote:
> How to amend an existing DIP? Should I submit another pull 
> request?
>
> If yes, to the main DIP repo or to the repo of the original DIP 
> requester?

That depends on what you mean by "existing DIP". Do you mean one 
that already has been assigned a number or one that is still in 
the PR queue?