Revision ffe2dcba0877dd69761841a1516a1c6622e7d6d6

Committed on 17/09/2013 10:35 am by Luca Realdi <luca.realdi@opencontent.it> [GitHub Diff]

Fix workflow