Revision 22f597f6ab1647bc376223a0aaa04204c5c75238

Committed on 20/03/2015 3:58 am by Madeline VEYRENC <[email protected]> [GitHub Diff]

Remove space after the star