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

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

w

witty-crayon-22786

12/06/2016, 10:27 PM

merged: https://github.com/pantsbuild/pants/pull/4124