Revision 906506ed285b918269cb7ca661c40af41255352f

Committed on 08/03/2017 12:18 am by Luca Realdi <luca.realdi@opencontent.it> [GitHub Diff]

Fix issue #1