https://bugzilla.wikimedia.org/show_bug.cgi?id=30185
--- Comment #25 from Sam Reed (reedy) <[email protected]> --- The patches have been merged to cluster. It'll probably take a few days before it's fixed, depending on activity of those users. Although I can fix it in the database (third time lucky), I think it makes more sense to let MediaWiki fix it itself. The bug might aswell stay open for now, and check on progress in a few days. -- You are receiving this mail because: You are the assignee for the bug. You are watching all bug changes. _______________________________________________ Wikibugs-l mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/wikibugs-l
