Sun, 21 May 2017 18:06:05 +0200 wenzelm more systematic separation of build_history directories (see also 80c1c1f53e72);
Sun, 21 May 2017 13:01:50 +0200 wenzelm updated dependencies;
Sun, 21 May 2017 21:37:31 +0200 blanchet added one more simplification to help replay
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -3 +3 +10 +30 +100 +300 +1000 +3000 +10000 tip