Phobos PR in need of review/merge

[Walter Bright via Digitalmars-d]

On 6/27/2017 2:39 PM, Dukc wrote:
> On Tuesday, 27 June 2017 at 19:40:52 UTC, Brad Roberts wrote:
>> There's a very good reason to leave requests open:  a closed request is gone, 
>> never to be seen again.
> 
> Well explained. So I quess that next time I should just leave a post there that 
> I'm abandoning it. After many pings and a notification at forum of course.
Abandoning it is fine. But please don't close good work! Brad is right. The time 
may not be right for it yet, but closing it means it will never be looked at again.