also <https github com pantsbuild pants pull 10340> Pants #announce

also: <https://github.com/pantsbuild/pants/pull/10...

p

polite-garden-50641

07/14/2020, 6:56 PM

also: https://github.com/pantsbuild/pants/pull/10340

w

witty-crayon-22786

07/14/2020, 7:45 PM

merged

p

polite-garden-50641

07/14/2020, 7:47 PM

thanks