On 31 May 2016 at 14:34, Kristof Beyls <Kristof.Beyls at arm.com> wrote: > I hope I've fixed this properly just now in > http://llvm.org/viewvc/llvm-project?view=revision&revision=271274. > Fingers crossed that the bots will come back now... Do the bots need restarting for that to take effect? --renato