https://bugzilla.wikimedia.org/show_bug.cgi?id=58521
Bartosz DziewoĆski changed:
What|Removed |Added
Status|PATCH_TO_REVIEW |RESOLVED
CC|
https://bugzilla.wikimedia.org/show_bug.cgi?id=58521
--- Comment #5 from Gerrit Notification Bot ---
Change 104510 merged by jenkins-bot:
CodeEditor: Update to package 12.02.2013 (December 2013)
https://gerrit.wikimedia.org/r/104510
--
You are receiving this mail because:
You are the assignee
https://bugzilla.wikimedia.org/show_bug.cgi?id=58521
--- Comment #4 from Gerrit Notification Bot ---
Change 104510 had a related patch set uploaded by TheDJ:
CodeEditor: Update to package 12.02.2013 (December 2013)
https://gerrit.wikimedia.org/r/104510
--
You are receiving this mail because:
Y
https://bugzilla.wikimedia.org/show_bug.cgi?id=58521
Gerrit Notification Bot changed:
What|Removed |Added
Status|NEW |PATCH_TO_REVIEW
--
You are
https://bugzilla.wikimedia.org/show_bug.cgi?id=58521
Derk-Jan Hartman changed:
What|Removed |Added
CC||hartman.w...@gmail.com
Se
https://bugzilla.wikimedia.org/show_bug.cgi?id=58521
Andre Klapper changed:
What|Removed |Added
Priority|Unprioritized |Normal
Summary|Bugs with Co