Revision 4fac27b4bc2f56effc0fbb511883c86912ea1268

Committed on 21/09/2014 4:15 pm by Luca Realdi <luca.realdi@opencontent.it> [GitHub Diff]

bugfix