Revision f36e031d4e5223fd36207a5f701c5418fd18dab8

Committed on 06/11/2017 1:49 am by Luca Realdi <lr@opencontent.it> [GitHub Diff]

Increase timeout