does <https://github.com/pantsbuild/pants/pull/441...
# developmentr
rough-minister-58256
04/03/2017, 8:05 PMdoes https://github.com/pantsbuild/pants/pull/4412/commits/7f0471182542754348893ea632cc9f5dd6e0be02 look sufficient for that?
rough-minister-58256
04/03/2017, 8:05 PM