On Thursday, 23 June 2016 at 23:55:55 UTC, Mathias Lang wrote:
> Basically:
> - Raise dlang.org P.R. and mark as being `[Pending]`
> - Raise DMD P.R. and link to said dlang.org P.R.
> - DMD P.R. is reviewed / merged
> - dlang.org P.R. can then be unblocked and be reviewed
>
> Thoughts ?

I am fine with merging a DMD P.R. only if there is an corresponding dlang.org P.R.
But this should not be a precondition to review a DMD P.R. Reason is that during review there can be (and usually are) changes that affect the documentation, too.

Kai
_______________________________________________
dmd-internals mailing list
dmd-internals@puremagic.com
http://lists.puremagic.com/mailman/listinfo/dmd-internals