https://pantsbuild.org/ logo
#general
Title
# general
f

flat-zoo-31952

01/14/2021, 8:05 PM
i think your reasoning behind the name change makes sense, and could even be justified, but the cost of churn is pretty high. I understand that the cost of even leaving deprecated aliases is also high in terms of code complexity, etc