Revision 7ed77ce0917540a5699ca281cf84e78c6b1594d4

Committed on 01/05/2013 7:15 am by Gaetano Giunta <gg@ez.no> [GitHub Diff]

be more tolerant to old git versions