Ah it looks like it did do a merge from the PR <https github Pants #general

Ah, it looks like it did do a merge from the PR: <...

m

most-cricket-96651

12/17/2015, 10:17 PM

Ah, it looks like it did do a merge from the PR: https://github.com/pantsbuild/pants/commit/4a2fbf1ef6c917246afdd5e95749e2b8d830df85

2 Views