Thread:Project:Support desk/" Nobody " thanked me/reply

see https://bugzilla.wikimedia.org/show_bug.cgi?id=58234

it looks like the bug is fixed and awaiting deployment.