pantsbuild/pants — pull request #822 by dt (2014-11-24 05:30:46+00:00)
Title: Lock around chroot.dump()

Exact duplicate of https://github.com/pantsbuild/pants/pull/821, just want a second pull req to see if triggered CI encounters same errors.