And I merged <https github com pantsbuild pants pull 5471> N Pants #general

And I merged <https://github.com/pantsbuild/pants/...

h

happy-kitchen-89482

02/17/2018, 3:18 PM

And I merged https://github.com/pantsbuild/pants/pull/5471. Nice work!

4 Views