Revision a0fdbe3467d0143b419c70978f337ac140fac10a

Committed on 23/03/2016 1:59 am by Luca Realdi <luca.realdi@opencontent.it> [GitHub Diff]

Merge branch 'ini'