Revision ae96e032b2867df61a942e6254f858e31c3c2f63

Committed on 30/11/2017 8:53 am by Luca Realdi <lr@opencontent.it> [GitHub Diff]

Merge commit '6c5fa7961ff4f98a739e364ee222dd3b00b550b5' into version2