Revision 7945496406f96c2599165db89f089925d35e74f2

Committed on 21/05/2016 5:23 am by Gabriele Perego <[email protected]> [GitHub Diff]

Fixed type hint