https://pantsbuild.org/ logo
a

ancient-stone-50795

10/17/2016, 7:37 PM
@witty-crayon-22786 I landed one of my changes. As you pointed out before, after the java 7 default change lands, I will still need to republish jars and land a change that bumps the version number for the tools. Judging from the speed of travis, I don't think it will be today.