I just realized <https://github.com/pantsbuild/pan...
# generalh
hundreds-breakfast-49010
07/15/2019, 9:03 PMI just realized https://github.com/pantsbuild/pants/pull/7891 never got merged, and it looks like CI failed - https://travis-ci.org/pantsbuild/pants/jobs/559045443
2 Views