https://pantsbuild.org/ logo
w

witty-crayon-22786

04/10/2020, 3:01 AM
it's a bit of a tangled web, yea. there is definitely a push needed to both 1) make pantsd the default, 2) drastically simplify the code that needs to deal with it sometimes not being the default.
👍 1