https://pantsbuild.org/ logo
h

happy-kitchen-89482

09/16/2015, 5:15 PM
if pants doesn't plumb that through then we'd have to be setting it as an extra zinc option in pants.ini, which we are not.