https://pantsbuild.org/ logo
w

witty-crayon-22786

01/11/2017, 8:48 PM
timeouts are a good thing in general, so i would think that rather than disabling them splitting further would be better.