Comment 13 for bug 389242

The new tools (both the dumper and the kernel error collection) should help. And I wouldn't say that unreproducible bugs shouldn't be filed, unless the reporter won't be able to help further (as in this case, where you're moving to a non-crashy (fingers crossed) version of the software). Thanks.