https://bugzilla.wikimedia.org/show_bug.cgi?id=71565
Lydia Pintscher lydia.pintsc...@wikimedia.de changed:
What|Removed |Added
Status|PATCH_TO_REVIEW |RESOLVED
https://bugzilla.wikimedia.org/show_bug.cgi?id=71565
Gerrit Notification Bot gerritad...@wikimedia.org changed:
What|Removed |Added
Status|NEW
https://bugzilla.wikimedia.org/show_bug.cgi?id=71565
--- Comment #1 from Gerrit Notification Bot gerritad...@wikimedia.org ---
Change 170917 had a related patch set uploaded by Aude:
Eliminate settings closure in WikibaseLib.default.php
https://gerrit.wikimedia.org/r/170917
--
You are
https://bugzilla.wikimedia.org/show_bug.cgi?id=71565
--- Comment #2 from Gerrit Notification Bot gerritad...@wikimedia.org ---
Change 170917 merged by jenkins-bot:
Eliminate settings closure in WikibaseLib.default.php
https://gerrit.wikimedia.org/r/170917
--
You are receiving this mail
https://bugzilla.wikimedia.org/show_bug.cgi?id=71565
John F. Lewis johnflewi...@gmail.com changed:
What|Removed |Added
Priority|Unprioritized |Normal
https://bugzilla.wikimedia.org/show_bug.cgi?id=71565
Aude aude.w...@gmail.com changed:
What|Removed |Added
Summary|eliminate huge settings |eliminate settings closure