<https github com pantsbuild pants pull 10043> is merged for Pants #announce

<https://github.com/pantsbuild/pants/pull/10043> i...

h

happy-kitchen-89482

06/14/2020, 9:48 PM

https://github.com/pantsbuild/pants/pull/10043 is merged, for 1.29.0rc4 purposes