On Tue, Apr 8, 2014 at 5:30 AM, Zbigniew Jędrzejewski-Szmek <zbyszek at in.waw.pl> wrote: > I think it is synchronized after successful jenkins runs, so it is always buildable > and unit tests pass. That's my GitHub mirror, not anything on freedesktop.org.