Michael Catanzaro <mcatanzaro(a)gnome.org> wrote:
 seems to have been recently fixed. This should dramatically
the reliability of Bugzilla reports. Yay!
(Jakub has also fixed a plethora of smaller issues that I reported.)
That's great news! Thanks for following up on this - the reports are
really helpful. I'll do some work on this myself, once I've cleared