Channels
welcome
github-notifications
development
announce
random
plugins
general
pex
Powered by
#development
Title
h
hundreds-breakfast-49010
01/07/2021, 8:43 PM
@witty-crayon-22786
mind if I hit merge on
https://github.com/pantsbuild/pants/pull/11424
?
w
witty-crayon-22786
01/07/2021, 10:30 PM
sorry, missed this
Post