https://pantsbuild.org/ logo
r

rough-minister-58256

10/17/2017, 9:56 PM
@happy-kitchen-89482 any tips on the best way to proceed with https://github.com/pantsbuild/pants/issues/4917 ?