Hacker News new | ask | show | jobs
by tzs 1064 days ago
How would a PR help? The work has already been done and committed. The project just hasn't gotten around to including it in a release yet.