Tue, 30 May 2017 17:32:39 +0200 Pierre-Yves David obsdiscovery: add an option to disable all obsdiscovery
Tue, 30 May 2017 11:39:45 +0200 Boris Feld effectflag: better diff detection
(0) -1000 -300 -100 -30 -10 -2 +2 +10 +30 +100 +300 +1000 tip