On Thursday, 21 March 2019 at 11:17:52 UTC, Mike Franklin wrote: > Create a new branch, merge the original author's work into your > branch, then add your edits, and submit a new PR. That's what > I'd do anyway. > > Mike Glad to hear. But does it make sense when there is already one pull request open: https://github.com/dlang/dmd/pull/8378 ?