Revision 005f7f9b7a7c61bba2bc1199e390c1afacd1be0d

Committed on 06/03/2014 3:48 am by Gabriele Perego <gabriele.perego@me.com> [GitHub Diff]

Removed wrong comment