Github user srowen commented on the issue:
    Usually I would close them. I often get push-back from those who complain 
that someone someday might work on it or offer a more compelling take on it. I 
didn't feel strongly about this, but would not merge it. I erred on the side of 
leaving it open for any other committer to support it though, but, I don't see 


To unsubscribe, e-mail:
For additional commands, e-mail:

Reply via email to