https://bugzilla.wikimedia.org/show_bug.cgi?id=30930
Gerrit Notification Bot gerritad...@wikimedia.org changed:
What|Removed |Added
Status|RESOLVED
https://bugzilla.wikimedia.org/show_bug.cgi?id=30930
--- Comment #3 from Gerrit Notification Bot gerritad...@wikimedia.org ---
Change 98540 had a related patch set uploaded by Anomie:
Protect tabs from HTML Tidy
https://gerrit.wikimedia.org/r/98540
--
You are receiving this mail because:
You
https://bugzilla.wikimedia.org/show_bug.cgi?id=30930
--- Comment #4 from Gerrit Notification Bot gerritad...@wikimedia.org ---
Change 98540 merged by jenkins-bot:
Protect tabs from HTML Tidy
https://gerrit.wikimedia.org/r/98540
--
You are receiving this mail because:
You are the assignee for
https://bugzilla.wikimedia.org/show_bug.cgi?id=30930
Brad Jorsch bjor...@wikimedia.org changed:
What|Removed |Added
Status|PATCH_TO_REVIEW |RESOLVED
https://bugzilla.wikimedia.org/show_bug.cgi?id=30930
Mark A. Hershberger m...@everybody.org changed:
What|Removed |Added
Priority|Unprioritized |Lowest
https://bugzilla.wikimedia.org/show_bug.cgi?id=30930
--- Comment #1 from Brion Vibber br...@wikimedia.org 2011-09-16 17:35:54 UTC
---
It looks like the tab-space conversion is done by HTML tidy -- and it's
behaving a bit differently on the pre as it does on the spans? Probably
it's resetting its
https://bugzilla.wikimedia.org/show_bug.cgi?id=30930
Brion Vibber br...@wikimedia.org changed:
What|Removed |Added
Status|NEW |RESOLVED