https://bugzilla.wikimedia.org/show_bug.cgi?id=58521
--- Comment #5 from Gerrit Notification Bot gerritad...@wikimedia.org ---
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
https://bugzilla.wikimedia.org/show_bug.cgi?id=58521
Bartosz DziewoĆski matma@gmail.com changed:
What|Removed |Added
Status|PATCH_TO_REVIEW |RESOLVED
https://bugzilla.wikimedia.org/show_bug.cgi?id=58521
Derk-Jan Hartman hartman.w...@gmail.com changed:
What|Removed |Added
CC|
https://bugzilla.wikimedia.org/show_bug.cgi?id=58521
--- Comment #4 from Gerrit Notification Bot gerritad...@wikimedia.org ---
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
https://bugzilla.wikimedia.org/show_bug.cgi?id=58521
Gerrit Notification Bot gerritad...@wikimedia.org changed:
What|Removed |Added
Status|NEW
https://bugzilla.wikimedia.org/show_bug.cgi?id=58521
Andre Klapper aklap...@wikimedia.org changed:
What|Removed |Added
Priority|Unprioritized |Normal