Something appears to be wrong with buildbot: it's not posting the results of the builds to Gerrit any more. -GAWollman