https://bugzilla.wikimedia.org/show_bug.cgi?id=457
Bartosz Dziewoński <[email protected]> changed: What |Removed |Added ---------------------------------------------------------------------------- Keywords|patch-in-gerrit | Status|REOPENED |RESOLVED Resolution| |FIXED --- Comment #25 from Bartosz Dziewoński <[email protected]> 2012-11-24 12:17:08 UTC --- Patch merged by Siebrand. There is a follow-up submitted by Aude to adjust the Vector extension to the changes that is not merged yet (I64794145), but apart from that this bug is done, so I'm marking this RESOLVED FIXED. -- Configure bugmail: https://bugzilla.wikimedia.org/userprefs.cgi?tab=email ------- You are receiving this mail because: ------- You are the assignee for the bug. You are on the CC list for the bug. _______________________________________________ Wikibugs-l mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/wikibugs-l
