Thanks Hoo!
2013/7/12 hoo <hoo(a)online.de>
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/
(
)
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(a)lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/wikidata-tech
_______________________________________________
Wikidata-tech mailing list
Wikidata-tech(a)lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/wikidata-tech
--
Project director Wikidata
Wikimedia Deutschland e.V. | Obentrautstr. 72 | 10963 Berlin
Tel. +49-30-219 158 26-0 |
http://wikimedia.de
Wikimedia Deutschland - Gesellschaft zur Förderung Freien Wissens e.V.
Eingetragen im Vereinsregister des Amtsgerichts Berlin-Charlottenburg unter
der Nummer 23855 B. Als gemeinnützig anerkannt durch das Finanzamt für
Körperschaften I Berlin, Steuernummer 27/681/51985.