https://bugzilla.wikimedia.org/show_bug.cgi?id=39748
Matthias Mullie mmul...@wikimedia.org changed:
What|Removed |Added
Status|NEW |RESOLVED
https://bugzilla.wikimedia.org/show_bug.cgi?id=39748
--- Comment #1 from Matthias Mullie mmul...@wikimedia.org 2012-09-04 11:43:27
UTC ---
Fabrice: Do you still encounter this problem? I can't reproduce it, and from
what I can't immediately find some flaw in the code that would cause this
either
https://bugzilla.wikimedia.org/show_bug.cgi?id=39748
--- Comment #2 from Fabrice Florin fflo...@wikimedia.org 2012-09-04 23:17:21
UTC ---
I just checked, and it appears that this bug was fixed. Thanks!
--
Configure bugmail: https://bugzilla.wikimedia.org/userprefs.cgi?tab=email
--- You are
https://bugzilla.wikimedia.org/show_bug.cgi?id=39748
Fabrice Florin fflo...@wikimedia.org changed:
What|Removed |Added
Priority|Unprioritized |High
--