On Saturday, 2 March 2019 at 17:00:48 UTC, Victor Porton wrote: > > still in PR queue? In that case, submit your changes as a PR on the DIP author's fork.