phpDocumentor/phpDocumentor2 — pull request #655 by ashnazg (2012-10-24 16:21:19+00:00)
Title: (master) Remove tool installations that build is not yet using

Not sure how you want to proceed with getting this build fix into all the other branches, as I don't think we want to wait until larger merges are ready to come from the (develop) branch.

So, I'm making pull requests for at least the three main branches I'm aware of (develop, master, psr).