On 08/03/2013 23:47, Jake Thomas Petroules wrote: > That it is. Thanks! > > Also, Gitorious seems to be out of sync with Gerrit now, the former of > which is still at 513a319 for some reason. Looks like the gerrit -> mirroring stopped for some reason. We'll investigate. Joerg