Revision 8c8de685f5b778d6993300cd9f9682051f7f2579

Committed on 20/12/2013 7:32 am by Yannick ROGER <[email protected]> [GitHub Diff]

Fixed small typo in a comment line.