Revision e848d984c5270c8e86f2c904340c618031fe8b53

Committed on 22/02/2012 9:03 am by Arnaud Lafon <arnaud.lafon@gmail.com> [GitHub Diff]

Merge branch 'renaming'