https://bugzilla.wikimedia.org/show_bug.cgi?id=48099
Amir E. Aharoni amir.ahar...@mail.huji.ac.il changed:
What|Removed |Added
Status|PATCH_TO_REVIEW |RESOLVED
https://bugzilla.wikimedia.org/show_bug.cgi?id=48099
--- Comment #4 from Gerrit Notification Bot gerritad...@wikimedia.org ---
Change 129180 merged by jenkins-bot:
Compact the documentation according to HTML and not source
https://gerrit.wikimedia.org/r/129180
--
You are receiving this mail
https://bugzilla.wikimedia.org/show_bug.cgi?id=48099
Gerrit Notification Bot gerritad...@wikimedia.org changed:
What|Removed |Added
Status|NEW
https://bugzilla.wikimedia.org/show_bug.cgi?id=48099
--- Comment #3 from Gerrit Notification Bot gerritad...@wikimedia.org ---
Change 129180 had a related patch set uploaded by Amire80:
Compact the documentation according to HTML and not source
https://gerrit.wikimedia.org/r/129180
--
You are
https://bugzilla.wikimedia.org/show_bug.cgi?id=48099
Amir E. Aharoni amir.ahar...@mail.huji.ac.il changed:
What|Removed |Added
Priority|Unprioritized |Low
https://bugzilla.wikimedia.org/show_bug.cgi?id=48099
Amir E. Aharoni amir.ahar...@mail.huji.ac.il changed:
What|Removed |Added
Keywords||easy
--
https://bugzilla.wikimedia.org/show_bug.cgi?id=48099
Nemo federicol...@tiscali.it changed:
What|Removed |Added
CC||federicol...@tiscali.it
https://bugzilla.wikimedia.org/show_bug.cgi?id=48099
Nemo federicol...@tiscali.it changed:
What|Removed |Added
URL|