Revision fd90b54dcd4c2d653ce4c0e938f1b816fcaf30a8

Committed on 11/05/2017 12:18 am by Luca Realdi <lr@opencontent.it> [GitHub Diff]

Merge commit 'a853f7d569a9bdf1a9066d1ccd4a3542e1f8e733'