Yes, the following core patch causes that (as it's caching permissions):
https://gerrit.wikimedia.org/r/73418

I've uploaded a core change which would fix this and hope to get it
merged tonight:
https://gerrit.wikimedia.org/r/73520

Cheers,

Marius

On Fri, 2013-07-12 at 20:08 +0200, Jeroen De Dauw wrote:
> Hey,
>
> Something broke Wikibase master recently.
>
> See https://gerrit.wikimedia.org/r/#/c/73439/
> ( https://integration.wikimedia.org/ci/job/mwext-Wikibase-repo-tests/1986/console )
>
> Anyone an idea what caused this?
>
> Cheers
>
> --
> Jeroen De Dauw
> http://www.bn2vs.com
> Don't panic. Don't be evil. ~=[,,_,,]:3
> --

> _______________________________________________
> Wikidata-tech mailing list
> Wikidata-tech@lists.wikimedia.org
> https://lists.wikimedia.org/mailman/listinfo/wikidata-tech



_______________________________________________
Wikidata-tech mailing list
Wikidata-tech@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/wikidata-tech