Channels
welcome
github-notifications
development
announce
random
plugins
general
pex
Powered by
#development
Title
w
witty-crayon-22786
09/09/2019, 11:11 PM
The issue I was thinking of is
https://github.com/pantsbuild/pants/issues/7710
, which I think might have already been created for this case?
Post