Revision 911ee8fdccf6c1543194edf92f4829a944110e30

Committed on 11/06/2014 8:26 am by Gabriele Perego <gabriele.perego@me.com> [GitHub Diff]

Type fixing