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

witty-crayon-22786

09/29/2017, 5:24 PM
@average-vr-56795: so yea, the answer in this case at least is that the squash merge worked from the github UI