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