https://pantsbuild.org/ logo
#general
Title
# general
j

jolly-chef-92794

01/26/2016, 7:51 PM
Ok. I will just remove that part of the patch then, since it’s just a matter of how we organize configuration and doesn’t change the end result (so nbd)