https://bugzilla.wikimedia.org/show_bug.cgi?id=67011
Dan Garry dga...@wikimedia.org changed:
What|Removed |Added
Status|PATCH_TO_REVIEW |RESOLVED
https://bugzilla.wikimedia.org/show_bug.cgi?id=67011
--- Comment #1 from Gerrit Notification Bot gerritad...@wikimedia.org ---
Change 141696 had a related patch set uploaded by Dbrant:
Disable refresh saved pages button if there are no saved pages.
https://gerrit.wikimedia.org/r/141696
--
You
https://bugzilla.wikimedia.org/show_bug.cgi?id=67011
Gerrit Notification Bot gerritad...@wikimedia.org changed:
What|Removed |Added
Status|NEW
https://bugzilla.wikimedia.org/show_bug.cgi?id=67011
--- Comment #2 from Gerrit Notification Bot gerritad...@wikimedia.org ---
Change 141696 merged by jenkins-bot:
Disable refresh saved pages button if there are no saved pages.
https://gerrit.wikimedia.org/r/141696
--
You are receiving this