I should submit a documentation change as a standard PR to t Pants #general

I should submit a documentation change as a standa...

stale-chef-81972

12/05/2016, 4:59 PM

I should submit a documentation change as a standard PR to the pantsbuild/pants repo, yes?