https://bugzilla.wikimedia.org/show_bug.cgi?id=55315
John Mark Vandenberg jayvdb@gmail.com changed:
What |Removed |Added ---------------------------------------------------------------------------- CC| |info@gno.de, | |jayvdb@gmail.com
--- Comment #8 from John Mark Vandenberg jayvdb@gmail.com --- This patch is still not merged: https://gerrit.wikimedia.org/r/#/c/89026/