Channels
welcome
github-notifications
development
announce
random
plugins
general
pex
Powered by
#development
Title
w
witty-crayon-22786
06/02/2020, 10:52 PM
two quick changes if anyone has a second:
https://github.com/pantsbuild/pants/pull/9946
and
https://github.com/pantsbuild/pants/pull/9943
@happy-kitchen-89482
: ^ if you have a moment
h
happy-kitchen-89482
06/03/2020, 12:11 AM
shipit
w
witty-crayon-22786
06/03/2020, 12:11 AM
thanksmuch
Post