https://bugzilla.wikimedia.org/show_bug.cgi?id=62934
James Forrester jforres...@wikimedia.org changed:
What|Removed |Added
Priority|Unprioritized |High
https://bugzilla.wikimedia.org/show_bug.cgi?id=62934
Gerrit Notification Bot gerritad...@wikimedia.org changed:
What|Removed |Added
Status|ASSIGNED
https://bugzilla.wikimedia.org/show_bug.cgi?id=62934
--- Comment #3 from Gerrit Notification Bot gerritad...@wikimedia.org ---
Change 120070 had a related patch set uploaded by Jforrester:
Fix a typo that causes crashes when using the wrong symbol for mwTocWidget