Revision 3576aea57af38ddc24d7e4f1588d9c232cc11afc

Committed on 01/09/2018 5:28 am by Luca Realdi <lr@opencontent.it> [GitHub Diff]

bugfix (prevent warning)