https://pantsbuild.org/ logo
#announce
Title
# announce
h

happy-kitchen-89482

05/29/2020, 6:14 PM
And I'd definitely like to get https://github.com/pantsbuild/pants/pull/9888 in (@witty-crayon-22786, if you could give it a final look? thanks)
👀 1
w

witty-crayon-22786

05/29/2020, 6:20 PM
looks good