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

witty-crayon-22786

07/20/2022, 10:33 PM
hey folks: i’m trying to pipeline another 2.12.x release candidate: don’t worry about your own PRs, but please don’t merge any of mine until i get that landed, cherry-picked, and in the queue