Revision 5e6d2c0605299445b900aae536330068536a9308

Committed on 31/01/2018 9:36 am by Luca Realdi <lr@opencontent.it> [GitHub Diff]

minor bugfixes