Revision b741ad1369e6b9fed1cd43e08a9a45572609d289

Committed on 02/08/2017 10:29 am by Luca Realdi <luca.realdi@opencontent.it> [GitHub Diff]

Fix * name