Sat, 26 Apr 2014 00:20:26 +0200 tuned -- potentially more robust;
wenzelm [Sat, 26 Apr 2014 00:20:26 +0200] rev 56735
tuned -- potentially more robust;
Fri, 25 Apr 2014 23:47:39 +0200 suppress potential dangerous option (see 1baa5d19ac44);
wenzelm [Fri, 25 Apr 2014 23:47:39 +0200] rev 56734
suppress potential dangerous option (see 1baa5d19ac44);
Fri, 25 Apr 2014 23:42:25 +0200 manager is direct receiver of prover output -- discontinued old performance tuning (329320fc88df, 1baa5d19ac44);
wenzelm [Fri, 25 Apr 2014 23:42:25 +0200] rev 56733
manager is direct receiver of prover output -- discontinued old performance tuning (329320fc88df, 1baa5d19ac44);
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -3 +3 +10 +30 +100 +300 +1000 +3000 +10000 tip