https://bugzilla.wikimedia.org/show_bug.cgi?id=71750
Jon jrob...@wikimedia.org changed:
What|Removed |Added
CC||amir.ahar...@mail.huji.ac.i
https://bugzilla.wikimedia.org/show_bug.cgi?id=71750
--- Comment #7 from Amir E. Aharoni amir.ahar...@mail.huji.ac.il ---
Thanks for the fix, Jon!
In such cases I always wonder which HTML engine has The Right Standard
Behavior...
--
You are receiving this mail because:
You are the assignee for
https://bugzilla.wikimedia.org/show_bug.cgi?id=71750
--- Comment #8 from Mike Taylor mi...@mozilla.com ---
:) In this case, I think it we were in the wrong.
I landed the following patches for Firefox for Android and Firefox OS, so
future versions won't need this workaround:
https://bugzilla.wikimedia.org/show_bug.cgi?id=71750
--- Comment #9 from Amir E. Aharoni amir.ahar...@mail.huji.ac.il ---
Awesome! Thank you very much. I love little collaborations of this kind :)
--
You are receiving this mail because:
You are the assignee for the bug.
You are on the CC list
https://bugzilla.wikimedia.org/show_bug.cgi?id=71750
--- Comment #5 from Gerrit Notification Bot gerritad...@wikimedia.org ---
Change 165530 merged by jenkins-bot:
Optimise checkboxes for Firefox mobile
https://gerrit.wikimedia.org/r/165530
--
You are receiving this mail because:
You are the
https://bugzilla.wikimedia.org/show_bug.cgi?id=71750
Sam Smith samsm...@wikimedia.org changed:
What|Removed |Added
Status|PATCH_TO_REVIEW |RESOLVED
https://bugzilla.wikimedia.org/show_bug.cgi?id=71750
Mike Taylor mi...@mozilla.com changed:
What|Removed |Added
CC||mi...@mozilla.com
---
https://bugzilla.wikimedia.org/show_bug.cgi?id=71750
--- Comment #3 from Gerrit Notification Bot gerritad...@wikimedia.org ---
Change 165530 had a related patch set uploaded by Jdlrobson:
Optimise checkboxes for Firefox mobile
https://gerrit.wikimedia.org/r/165530
--
You are receiving this
https://bugzilla.wikimedia.org/show_bug.cgi?id=71750
Gerrit Notification Bot gerritad...@wikimedia.org changed:
What|Removed |Added
Status|NEW
https://bugzilla.wikimedia.org/show_bug.cgi?id=71750
--- Comment #4 from Jon jrob...@wikimedia.org ---
Thanks for the write up Mike! I've written a patch our end ^ to work around the
problem in the meantime.
Let me know if we can help Mozilla out in future with any other wiki related
bugs!
--
https://bugzilla.wikimedia.org/show_bug.cgi?id=71750
--- Comment #1 from Bingle bingle-ad...@wikimedia.org ---
Prioritization and scheduling of this bug is tracked on Trello card
https://trello.com/c/K1RV5y2Z
--
You are receiving this mail because:
You are the assignee for the bug.
You are on
https://bugzilla.wikimedia.org/show_bug.cgi?id=71750
Jon jrob...@wikimedia.org changed:
What|Removed |Added
CC||jared.zimmerman@wikimedia.o
12 matches
Mail list logo