merged <https github com pantsbuild pants pull 4135> unfortu Pants #development

merged <https://github.com/pantsbuild/pants/pull/4...

w

witty-crayon-22786

12/21/2016, 10:30 PM

merged https://github.com/pantsbuild/pants/pull/4135 ... unfortunately, still a 5-10% slowdown