Thu, 18 May 2017 16:59:25 +0200 Pierre-Yves David discovery: log information about obshashrange
Thu, 18 May 2017 11:29:27 +0200 Pierre-Yves David obshistory: add a graph option on the debugobshistory command
Thu, 18 May 2017 11:29:23 +0200 Pierre-Yves David obshistory: import 'node' as 'nodemod'
Thu, 18 May 2017 11:00:06 +0200 Pierre-Yves David label: add a label for the node in the "wc now at" message
(0) -1000 -300 -100 -30 -10 -4 +4 +10 +30 +100 +300 +1000 tip