Revision deeb8f0ad473d6ce49ab7714dc2b1c8e75509bf5

Committed on 19/01/2016 7:58 am by Luca Realdi <luca.realdi@opencontent.it> [GitHub Diff]

Merge branch 'mastedevr'