https://bugzilla.wikimedia.org/show_bug.cgi?id=40994
Gregor Hagedorn <[email protected]> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|NEW |RESOLVED Resolution| |WORKSFORME --- Comment #2 from Gregor Hagedorn <[email protected]> 2012-10-13 23:44:55 UTC --- Thanks for checking, error thus seems to be on our side (1.21: setting git checkout REL1_20, that is not a problem). I rechecked and the error still occurs. If you know: Does a less drastic option than deleting all extensions exist? (Deleting all is a hassle, because a number of extensions not yet available in git as well as some local ones are interspersed with the git ones.) I had already tried to delete the Persona folder, of course, but that does not help. -- Configure bugmail: https://bugzilla.wikimedia.org/userprefs.cgi?tab=email ------- You are receiving this mail because: ------- You are the assignee for the bug. You are on the CC list for the bug. _______________________________________________ Wikibugs-l mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/wikibugs-l
