https://pantsbuild.org/ logo
#development
Title
# development
w

witty-crayon-22786

05/11/2016, 7:33 PM
@rough-minister-58256: guess https://github.com/pantsbuild/pants/issues/3227 is done, yea? or do you maybe want to include the disconnecting engine/daemon thing from yesterday in that?