https://pantsbuild.org/ logo
c

curved-television-6568

01/18/2022, 6:46 AM
It should be possible to have an interim version deprecating the old name, while still being usable to help smooth the transition.