K 10 svn:author V 3 jgh K 8 svn:date V 27 2013-07-07T21:57:17.278552Z K 7 svn:log V 152 - fix fetch and remove stale mirror - convert historical header PR: 180346 Submitted by: r4721@tormail.org Approved by: matthieu@labs.fr (maintainer) END