Revision 7945496406f96c2599165db89f089925d35e74f2

Committed on 21/05/2016 5:23 am by Gabriele Perego <gabriele.perego@me.com> [GitHub Diff]

Fixed type hint