On Thursday, 28 January 2016 at 06:15:54 UTC, sanjayss wrote:
So I got round to doing this -- https://github.com/D-Programming-Language/druntime/pull/1485 -- it's not clear what happens now -- is there a set of people that reviews pull requests and comment on it or is it open to all?
I should also say that the process I described is typical of non-trivial Phobos and DMD submissions.
Fewer people seem to be interested in druntime, though, so it's quite likely that the first person to seriously review your PR actually *will* be someone with the authority to merge it.
