log tests/test-checkheads-unpushed-D7.t @ 2256:7ec214ea5d67

age author description
Fri, 31 Mar 2017 13:46:51 +0200 Pierre-Yves David checkheahds: switch algorithm to use pushed markers instead