https://bugzilla.wikimedia.org/show_bug.cgi?id=55264
John Mark Vandenberg jayvdb@gmail.com changed:
What |Removed |Added ---------------------------------------------------------------------------- Status|PATCH_TO_REVIEW |RESOLVED Resolution|--- |FIXED
--- Comment #5 from John Mark Vandenberg jayvdb@gmail.com --- Fixed in https://gerrit.wikimedia.org/r/#/c/141398