log

age author description
Sun, 26 Aug 2012 00:25:33 +0200 Pierre-Yves David checkheads: check successors for new heads in both missing and common
Fri, 24 Aug 2012 16:52:45 +0200 Pierre-Yves David checkheads: attend to phases when computing new heads with obsolete