log

age author description
Mon, 29 May 2017 05:20:09 +0200 Pierre-Yves David checkheads: clarify that we no longer touch the head unknown locally
Mon, 29 May 2017 05:33:59 +0200 Pierre-Yves David headssummary: ensure all returned lists are sorted
Mon, 29 May 2017 05:37:19 +0200 Pierre-Yves David discovery: also use lists for the returns of '_oldheadssummary'