Revision d524bf606fc817e957c7a1d73f9eaa41ab0133e3

Committed on 07/11/2018 6:55 am by Luca Realdi <lr@opencontent.it> [GitHub Diff]

Merge branch 'master' into version2