Comment 11 for bug 1002439

Jon (jonpad) wrote :

Thanks @JazzyNico - great news that a fix has now gone in.

A minor point: this "duplicate" ticket predates the other by a couple of months. Anything I could have done to have gotten it expedited, for my future reference? I wonder if I should have added a slew of random watchers to the ticket! ;-)