Revision 1c6b57fe57210e9dcb5b4586d6572f47d17a25d7

Committed on 19/04/2012 8:00 am by Christophe Coevoet <[email protected]> [GitHub Diff]

Fixed previous merge