On 8/21/2013 17:58, Jason Helfman wrote: > I thought I was making that clear. > The PR shouldn't have been committed as is, so it is for the committer > to resolve the issue. To be fair, while I believe there is an issue, I haven't proven it yet. I also took over the PR, so now it's my responsibility. Regards, John