Revision c71aaed081e6af1f8f4a5eb6718cf9a0be09e951

Committed on 22/12/2011 3:28 am by Nicolas Pastorino <[email protected]> [GitHub Diff]

--Sort order in listing of commits now ok ('published' instead of 'modified')