Hi Matti, On 16 August 2015 at 22:36, Matti Picus <matti.picus at gmail.com> wrote: > I committed an (untested, sorry) change, 3275430ea6da, to the buildbot repo, > could someone merge that to the build master? Done. The build master will restart when all slaves are finished. A bientôt, Armin.