Phobos PR in need of review/merge

[Brad Roberts via Digitalmars-d]

On 6/27/17 11:09 AM, Dukc via Digitalmars-d wrote:

> But there is just no reason I see to keep a request in 
> "alive" state if I don't check it actively anymore. The closed pr can be 
> opened later if I or someone else wishes to push for it again.

There's a very good reason to leave requests open:  a closed request is 
gone, never to be seen again (yes, it's technically still findable if 
you search closed but not merged requests, but it's super unlikely to 
ever happen).  An open request, though one among many, is still 
discoverable.  It's in the list and eventually someone will ping it or 
stumble on it, or maybe one dream day there will be sufficient activity 
to chip away at the massive (350ish right now) queue of pulls and it'll 
be taken care of.