Re: Phobos PR in need of review/merge

[Meta via Digitalmars-d]

I thought I'd let everyone know that there has been a whopping 36 
PRs merged in the past week (versus 17 opened). We're now sitting 
at 114 open Phobos PRs. Thanks to the reviewers/mergers who put 
in the effort to get that number down.