How to amend an existing DIP?

Sat Mar 2 17:00:48 UTC 2019

On Saturday, 2 March 2019 at 03:13:23 UTC, Mike Parker wrote:
> 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?

still in PR queue?