Michael Catanzaro mcatanzaro@gnome.org wrote: ...
[2] seems to have been recently fixed. This should dramatically improve 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 some time.
Allan