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

witty-crayon-22786

09/26/2018, 7:01 PM
ok. putting the above in a ticket would be good. yes, things have changed slightly in 1.9, and also in 1.10, but not clear to me yet what should happen there