https://bugzilla.wikimedia.org/show_bug.cgi?id=51611
James Forrester changed:
What|Removed |Added
Status|PATCH_TO_REVIEW |RESOLVED
Resolution|---
https://bugzilla.wikimedia.org/show_bug.cgi?id=51611
--- Comment #4 from Gerrit Notification Bot ---
Change 78490 merged by jenkins-bot:
Create a superscript tool
https://gerrit.wikimedia.org/r/78490
--
You are receiving this mail because:
You are on the CC list for the bug.
__
https://bugzilla.wikimedia.org/show_bug.cgi?id=51611
James Forrester changed:
What|Removed |Added
Target Milestone|VE-deploy-2013-08-15|VE-deploy-2013-08-22
--
You are rec
https://bugzilla.wikimedia.org/show_bug.cgi?id=51611
James Forrester changed:
What|Removed |Added
Assignee|rm...@wikimedia.org |cro0...@gmail.com
Target Milestone
https://bugzilla.wikimedia.org/show_bug.cgi?id=51611
Gerrit Notification Bot changed:
What|Removed |Added
Status|ASSIGNED|PATCH_TO_REVIEW
--
You are
https://bugzilla.wikimedia.org/show_bug.cgi?id=51611
--- Comment #3 from Gerrit Notification Bot ---
Change 78490 had a related patch set uploaded by Steven Zhang:
Add a superscript tool
https://gerrit.wikimedia.org/r/78490
--
You are receiving this mail because:
You are on the CC list for the
https://bugzilla.wikimedia.org/show_bug.cgi?id=51611
--- Comment #2 from James Forrester ---
As explained elsewhere, this is trivial to do but would make the toolbar (even
more) unwieldy for all users, and so I de-prioritised it whilst waiting for a
way to have lots of these icons available witho
https://bugzilla.wikimedia.org/show_bug.cgi?id=51611
Chris McKenna changed:
What|Removed |Added
CC||cmcke...@sucs.org
--- Comment #1 from
https://bugzilla.wikimedia.org/show_bug.cgi?id=51611
James Forrester changed:
What|Removed |Added
Priority|Unprioritized |Low
--
You are receiving this mail