https://bugzilla.wikimedia.org/show_bug.cgi?id=36264
--- Comment #5 from Amir E. Aharoni amir.ahar...@mail.huji.ac.il ---
The upstream bug was fixed last February.
Is this already usable in the current development tools? If not, when can we
expect a version that will support it?
--
You are
https://bugzilla.wikimedia.org/show_bug.cgi?id=36264
Yuvi Panda yuvipa...@gmail.com changed:
What|Removed |Added
CC||yuvipa...@gmail.com
https://bugzilla.wikimedia.org/show_bug.cgi?id=36264
Brion Vibber br...@wikimedia.org changed:
What|Removed |Added
Priority|High|Low