tigertext/worker_pool — pull request #22 by elbrujohalcon (2014-07-02 16:27:03+00:00)
Title: Ready for R17

Just in case you want that, too :)