Revision d7fbce79367fe7605040a2b15b67c48a30e59739

Committed on 09/09/2016 3:05 am by Luca Realdi <lr@opencontent.it> [GitHub Diff]

Merge branch 'addMainLocation'