On 20 July 2016 at 17:39, Galina Kistanova <gkistanova at gmail.com> wrote: > Not sure what happened there, I restarted the master. > Please let me know if it did not help. I think it's back running. There was a pause and the new commits were on other projects. Should be fine, though. Thanks! --renato