log

age author description
Mon, 05 Jun 2017 15:20:20 +0100 Pierre-Yves David checkheads: use 'nodemap.get' to convert nodes to revs
Mon, 05 Jun 2017 15:17:47 +0100 Pierre-Yves David checkheads: pass "ispushed" function to the obsmarkers logic
Fri, 09 Jun 2017 12:29:29 +0100 Pierre-Yves David profile: drop maybeprofile