log

age author description
Mon, 29 May 2017 05:21:38 +0200 Pierre-Yves David checkheads: drop now unused filtering of 'unsyncedheads'
Mon, 29 May 2017 05:20:09 +0200 Pierre-Yves David checkheads: clarify that we no longer touch the head unknown locally