Revision 0d9985a014cf3cb7c24e38e377a0b2636c730a27

Committed on 09/11/2017 6:24 am by Luca Realdi <lr@opencontent.it> [GitHub Diff]

Merge branch 'master' into api