Sun, 11 Jan 2015 13:12:47 +0100 do not crash into already running exec, instead join its lazy result in the subsequent step (amending 59f1591a11cb);
wenzelm [Sun, 11 Jan 2015 13:12:47 +0100] rev 59348
do not crash into already running exec, instead join its lazy result in the subsequent step (amending 59f1591a11cb);
Sun, 11 Jan 2015 12:46:19 +0100 more explicit errors;
wenzelm [Sun, 11 Jan 2015 12:46:19 +0100] rev 59347
more explicit errors;
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -2 +2 +10 +30 +100 +300 +1000 +3000 +10000 tip